Unverified Commit a177cbb0 authored by Rafael Ieda's avatar Rafael Ieda
Browse files

ripes: fix build with cmake4

parent 688e66fd
Loading
Loading
Loading
Loading
+3 −0
Original line number Diff line number Diff line
@@ -27,6 +27,9 @@ stdenv.mkDerivation rec {
    rm -r external/VSRTL/external/cereal
    substituteInPlace {src/serializers.h,src/io/iobase.h} \
      --replace-fail "VSRTL/external/cereal/include/cereal/cereal.hpp" "cereal/cereal.hpp"

    substituteInPlace external/libelfin/CMakeLists.txt \
      --replace-fail "cmake_minimum_required(VERSION 3.1)" "cmake_minimum_required(VERSION 3.10)"
  '';

  nativeBuildInputs = [