diff --git a/pkgs/by-name/si/simbaplusplus/package.nix b/pkgs/by-name/si/simbaplusplus/package.nix index 43b67ebd5c56..3ab7db0559ba 100644 --- a/pkgs/by-name/si/simbaplusplus/package.nix +++ b/pkgs/by-name/si/simbaplusplus/package.nix @@ -2,6 +2,7 @@ lib, stdenv, fetchFromGitHub, + fetchpatch, cmake, llvmPackages, z3, @@ -19,6 +20,14 @@ stdenv.mkDerivation (finalAttrs: { hash = "sha256-h2in203bwfb7ArhoBN0PoWM6DZtxI4jSGQuSTTaBJ7A="; }; + patches = [ + # CMakeLists: minimum cmake version 3.5 + (fetchpatch { + url = "https://github.com/pgarba/SiMBA-/commit/0d5dcaf0a0e85e342141a9c525cc8a10934c2f9d.patch?full_index=1"; + hash = "sha256-rL/jzq4eoJI6j1aEK8vg6b2uqGjxN6P+8vsC8oYTxng="; + }) + ]; + postPatch = '' substituteInPlace CMakeLists.txt \ --replace-fail ' ''${LLVM_TOOLS_BINARY_DIR}/llvm-config' " ${lib.getDev llvmPackages.libllvm}/bin/llvm-config" \