From 40b17486d6b48430ba3509fc98e0fb7584dfad1b Mon Sep 17 00:00:00 2001
From: kyehn <kyehn@users.noreply.github.com>
Date: Sun, 24 Aug 2025 16:32:58 +0800
Subject: [PATCH] yices: 2.6.5 -> 2.7.0

---
 pkgs/by-name/yi/yices/package.nix | 22 ++++++++++++++++------
 1 file changed, 16 insertions(+), 6 deletions(-)

diff --git a/pkgs/by-name/yi/yices/package.nix b/pkgs/by-name/yi/yices/package.nix
index d47da8915619..729d88f294d3 100644
--- a/pkgs/by-name/yi/yices/package.nix
+++ b/pkgs/by-name/yi/yices/package.nix
@@ -7,23 +7,31 @@
   gperf,
   autoreconfHook,
   libpoly,
+  ncurses5,
 }:
 
 let
   gmp-static = gmp.override { withStatic = true; };
 in
-stdenv.mkDerivation rec {
+stdenv.mkDerivation (finalAttrs: {
   pname = "yices";
-  version = "2.6.5";
+  version = "2.7.0";
 
   src = fetchFromGitHub {
     owner = "SRI-CSL";
     repo = "yices2";
-    rev = "Yices-${version}";
-    hash = "sha256-/sKyHkFW5I5kojNIRPEKojzTvfRZiyVIN5VlBIbAV7k=";
+    tag = "yices-${finalAttrs.version}";
+    hash = "sha256-siyepgxqKWRyO4+SB95lmhJ98iDubk0R0ErEJdSsM8o=";
   };
 
-  postPatch = "patchShebangs tests/regress/check.sh";
+  postPatch = ''
+    patchShebangs tests/regress/check.sh
+  ''
+  # operation not permitted
+  + lib.optionalString stdenv.hostPlatform.isDarwin ''
+    substituteInPlace utils/make_source_version \
+      --replace-fail '"/usr/bin/mktemp -t out"' "mktemp"
+  '';
 
   nativeBuildInputs = [ autoreconfHook ];
   buildInputs = [
@@ -41,6 +49,8 @@ stdenv.mkDerivation rec {
   enableParallelBuilding = true;
   doCheck = true;
 
+  nativeCheckInputs = [ ncurses5 ];
+
   meta = with lib; {
     description = "High-performance theorem prover and SMT solver";
     homepage = "https://yices.csl.sri.com";
@@ -48,4 +58,4 @@ stdenv.mkDerivation rec {
     platforms = with platforms; linux ++ darwin;
     maintainers = with maintainers; [ thoughtpolice ];
   };
-}
+})