scalp: fix build with gcc 15

2026-01-20 23:35:31 +01:00
parent 22df4146f8
commit c7c934874b
1 changed files with 1 additions and 0 deletions
@@ -24,6 +24,7 @@ stdenv.mkDerivation rec {
  };

  postPatch = ''
+    sed -i "1i\#include <cstdint>" src/ScaLP/Solver.cpp
    substituteInPlace CMakeLists.txt \
      --replace-fail "cmake_minimum_required (VERSION 3.3.2)" "cmake_minimum_required (VERSION 3.5)" \
      --replace-fail "\''$ORIGIN" "\''${CMAKE_INSTALL_PREFIX}/lib" \