Unverified Commit 81b9e161 authored by Leona Maroni's avatar Leona Maroni Committed by GitHub
Browse files

monosat: fix build with cmake4 (#455590)

parents 9c973022 89420eea

pkgs/by-name/mo/monosat/package.nix

+4 −1
Original line number Diff line number Diff line
@@ -47,7 +47,10 @@ let 
  core = stdenv.mkDerivation {

    name = "${pname}-${version}";

    inherit src patches;

    postPatch = commonPostPatch;

    postPatch = commonPostPatch + ''

      substituteInPlace CMakeLists.txt \

        --replace-fail "cmake_minimum_required(VERSION 3.02)" "cmake_minimum_required(VERSION 3.10)"

    '';

    nativeBuildInputs = [ cmake ];

    buildInputs = [

      zlib