From 9d89c3a58ec622ed3492a959c8cdd46b81819aa2 Mon Sep 17 00:00:00 2001
From: hakan-demirli <ehdemirli@proton.me>
Date: Wed, 25 Feb 2026 17:43:14 +0100
Subject: [PATCH] kissat: fix static build by setting AR for cross toolchains

---
 pkgs/by-name/ki/kissat/package.nix | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/pkgs/by-name/ki/kissat/package.nix b/pkgs/by-name/ki/kissat/package.nix
index 1983bc6b312e..0fb85747b31e 100644
--- a/pkgs/by-name/ki/kissat/package.nix
+++ b/pkgs/by-name/ki/kissat/package.nix
@@ -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
   '';