Unverified Commit 85d2bf79 authored by Vincent Laporte's avatar Vincent Laporte Committed by GitHub
Browse files

cvc4: fix build with CMake 4 (#450288)

parents 531f6038 6a7d1a29

pkgs/by-name/cv/cvc4/package.nix

+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 = ''