Unverified Commit 9d89c3a5 authored by hakan-demirli's avatar hakan-demirli
Browse files

kissat: fix static build by setting AR for cross toolchains

parent 8d427ffb

pkgs/by-name/ki/kissat/package.nix

+5 −0
Original line number Diff line number Diff line
@@ -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

  '';