- Package:
- src:kissat
- Source:
- src:kissat
- Submitter:
- Helmut Grohne
- Date:
- 2025-08-28 10:43:04 UTC
- Severity:
- normal
- Tags:
kissat fails to cross build from source, because it uses the build architecture compiler. It's configure script is handwritten and therefore does not understand the options passed by dh_auto_configure and is therefore run manually. In this invocation, CC should be assigned to support cross compilation as well as builds with clang. I'm attaching a patch for your convenience. Helmut