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

simbaplusplus: fix build with cmake4 (#451377)

parents d07be788 2d57c363

pkgs/by-name/si/simbaplusplus/package.nix

+9 −0
Original line number Diff line number Diff line
@@ -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" \