From 6c5d55cdb83dba019f508b6b2aba60498e2378d2 Mon Sep 17 00:00:00 2001
From: Xiangyan Sun <wishstudio@gmail.com>
Date: Fri, 20 Mar 2026 10:56:02 -0700
Subject: [PATCH] avy: fix build with cmake4

---
 pkgs/by-name/av/avy/package.nix | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/pkgs/by-name/av/avy/package.nix b/pkgs/by-name/av/avy/package.nix
index a376a3764380..7b9f843847d7 100644
--- a/pkgs/by-name/av/avy/package.nix
+++ b/pkgs/by-name/av/avy/package.nix
@@ -24,6 +24,7 @@ stdenv.mkDerivation {
     boost.out
     boost.dev
   ];
+
   env.NIX_CFLAGS_COMPILE = toString (
     [ "-Wno-narrowing" ]
     # Squelch endless stream of warnings on same few things
@@ -41,6 +42,13 @@ stdenv.mkDerivation {
                '((Child = Dsd_NodeReadDec(Node,Index))>=0);' \
                '((intptr_t)(Child = Dsd_NodeReadDec(Node,Index))>=0);'
 
+    substituteInPlace CMakeLists.txt \
+      --replace-fail "cmake_minimum_required (VERSION 3.5.1)" "cmake_minimum_required (VERSION 3.10)"
+    substituteInPlace abc/CMakeLists.txt \
+      --replace-fail "cmake_minimum_required (VERSION 2.8.6)" "cmake_minimum_required (VERSION 3.10)"
+    substituteInPlace {avy,muser2,glucose,minisat}/CMakeLists.txt \
+      --replace-fail "cmake_minimum_required(VERSION 2.8.6)" "cmake_minimum_required (VERSION 3.10)"
+
     patch -p1 -d minisat -i ${./minisat-fenv.patch}
     patch -p1 -d glucose -i ${./glucose-fenv.patch}
   '';