Commit 6a7d1a29 authored by David Wronek's avatar David Wronek
Browse files

cvc4: fix build with CMake 4

parent 264fddee
Loading
Loading
Loading
Loading
+4 −0
Original line number Diff line number Diff line
@@ -72,6 +72,10 @@ stdenv.mkDerivation rec {

        sed -i '/#define CVC4__UTIL__REGEXP_H/a\
    #include <cstddef>' src/util/regexp.h

    # Fix CMake 4 build
    substituteInPlace CMakeLists.txt --replace-fail \
      "cmake_minimum_required(VERSION 3.2)" "cmake_minimum_required(VERSION 3.10)"
  '';

  preConfigure = ''