sharpsat-td: fix build with cmake4 (#453995)

2025-10-21 19:08:14 +00:00
parent b972b2fb5f 79da313b3f
commit dc74ef287f
1 changed files with 3 additions and 0 deletions
@@ -48,6 +48,9 @@ stdenv.mkDerivation {
    # replace bundled version of mpreal/mpfrc++
    rm -r 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 ];