gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

avy: fix build with cmake4

Browse Source
This commit is contained in:
Xiangyan Sun
2026-03-24 00:13:37 +01:00
committed by Sigmanificient
parent d5dcf11d7a
commit 6c5d55cdb8
1 changed files with 8 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/by-name/av/avy/package.nix
+8
View File
@@ -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}
'';