From 0eced05aae1e4493a97609f3c3f7613ecf55f91f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Alexander=20St=C3=A4ding?= <alex@staeding.com>
Date: Mon, 27 Apr 2026 22:19:37 +0200
Subject: [PATCH] lean4: Pin cadical version to 2.1.3 to fix bv_decide

---
 pkgs/by-name/le/lean4/package.nix | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/pkgs/by-name/le/lean4/package.nix b/pkgs/by-name/le/lean4/package.nix
index 6ed596f47a88..dbf5e3b0d7d7 100644
--- a/pkgs/by-name/le/lean4/package.nix
+++ b/pkgs/by-name/le/lean4/package.nix
@@ -6,6 +6,7 @@
   git,
   gmp,
   cadical,
+  makeWrapper,
   pkg-config,
   libuv,
   enableMimalloc ? true,
@@ -13,6 +14,9 @@
   testers,
 }:
 
+let
+  cadical' = cadical.override { version = "2.1.3"; };
+in
 stdenv.mkDerivation (finalAttrs: {
   pname = "lean4";
   version = "4.29.1";
@@ -61,14 +65,20 @@ stdenv.mkDerivation (finalAttrs: {
   nativeBuildInputs = [
     cmake
     pkg-config
+    makeWrapper
   ];
 
   buildInputs = [
     gmp
     libuv
-    cadical
+    cadical'
   ];
 
+  postInstall = ''
+    wrapProgram $out/bin/lean \
+      --prefix PATH : ${cadical'}/bin
+  '';
+
   nativeCheckInputs = [
     git
     perl