kissat: fix static build by setting AR for cross toolchains (#494085)

2026-03-02 17:42:54 +00:00
parent 698ace1f04 9d89c3a58e
commit f6b299f7bd
1 changed files with 5 additions and 0 deletions
@@ -66,6 +66,11 @@ stdenv.mkDerivation (finalAttrs: {

    ./configure

+    # Kissat's configure only detects cross-compilation for *-linux-gnu-gcc,
+    # missing other cross toolchains (e.g. musl). Fix AR in the generated makefile.
+    substituteInPlace build/makefile \
+      --replace-fail "AR=ar" "AR=${stdenv.cc.targetPrefix}ar"
+
    runHook postConfigure
  '';