ikos: fix build
This commit is contained in:
parent
2b9b52d193
commit
4caa6fd07f
@ -1,4 +1,4 @@
|
|||||||
{ stdenv, lib, fetchFromGitHub, cmake, boost, tbb
|
{ stdenv, lib, fetchFromGitHub, fetchpatch, cmake, boost, tbb
|
||||||
, gmp, llvm, clang, sqlite, python3
|
, gmp, llvm, clang, sqlite, python3
|
||||||
, ocamlPackages, mpfr, ppl, doxygen, graphviz
|
, ocamlPackages, mpfr, ppl, doxygen, graphviz
|
||||||
}:
|
}:
|
||||||
@ -20,6 +20,11 @@ stdenv.mkDerivation rec {
|
|||||||
sha256 = "0k3kp1af0qx3l1x6a4sl4fm8qlwchjvwkvs2ck0fhfnc62q2im5f";
|
sha256 = "0k3kp1af0qx3l1x6a4sl4fm8qlwchjvwkvs2ck0fhfnc62q2im5f";
|
||||||
};
|
};
|
||||||
|
|
||||||
|
patches = fetchpatch {
|
||||||
|
url = "https://github.com/NASA-SW-VnV/ikos/commit/2e647432427b3f0dbb639e0371d976ab6406f290.patch";
|
||||||
|
hash = "sha256-ffzjlqEp4qp76Kwl5zpyQlg/xUMt8aLDSSP4XA4ndS8=";
|
||||||
|
};
|
||||||
|
|
||||||
nativeBuildInputs = [ cmake ];
|
nativeBuildInputs = [ cmake ];
|
||||||
buildInputs = [ boost tbb gmp clang llvm sqlite python
|
buildInputs = [ boost tbb gmp clang llvm sqlite python
|
||||||
ocamlPackages.apron mpfr ppl doxygen graphviz ];
|
ocamlPackages.apron mpfr ppl doxygen graphviz ];
|
||||||
|
Loading…
Reference in New Issue
Block a user