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

monosat: fix build with cmake4

Browse Source
This commit is contained in:
Rafael Ieda
2025-10-25 14:36:20 -03:00
parent 9d4915aa6e
commit 89420eeaa1
1 changed files with 4 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
pkgs/by-name/mo/monosat/package.nix
View File

@@ -47,7 +47,10 @@ let
core = stdenv.mkDerivation { core = stdenv.mkDerivation {
name = "${pname}-${version}"; name = "${pname}-${version}";
inherit src patches; inherit src patches;
postPatch = commonPostPatch; postPatch = commonPostPatch + ''
substituteInPlace CMakeLists.txt \
--replace-fail "cmake_minimum_required(VERSION 3.02)" "cmake_minimum_required(VERSION 3.10)"
'';
nativeBuildInputs = [ cmake ]; nativeBuildInputs = [ cmake ];
buildInputs = [ buildInputs = [
zlib zlib