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

sharpsat-td: fix build with cmake4

Browse Source
This commit is contained in:
Rafael Ieda
2025-10-20 17:57:34 -03:00
parent fac5e90ad9
commit 79da313b3f
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
pkgs/by-name/sh/sharpsat-td/package.nix
View File

@@ -48,6 +48,9 @@ stdenv.mkDerivation {
# replace bundled version of mpreal/mpfrc++ # replace bundled version of mpreal/mpfrc++
rm -r src/mpfr rm -r src/mpfr
cp -r ${mpreal} src/mpfr cp -r ${mpreal} src/mpfr
substituteInPlace CMakeLists.txt \
--replace-fail "cmake_minimum_required (VERSION 2.8)" "cmake_minimum_required(VERSION 3.10)"
''; '';
nativeBuildInputs = [ cmake ]; nativeBuildInputs = [ cmake ];