a13cdfe520
To keep this for the future we also strictDeps where possible, including for janePackages, topkg, oasis and ocamlbuild. This makes some closures significantly smaller and makes cross compilation easier
40 lines
997 B
Nix
40 lines
997 B
Nix
{ stdenv, lib, ocaml, findlib, zarith, z3 }:
|
|
|
|
if !lib.versionAtLeast ocaml.version "4.07"
|
|
then throw "z3 is not available for OCaml ${ocaml.version}"
|
|
else
|
|
|
|
let z3-with-ocaml = (z3.override {
|
|
ocamlBindings = true;
|
|
inherit ocaml findlib zarith;
|
|
}).overrideAttrs (o: {
|
|
patches = (o.patches or []) ++ [
|
|
# Fix build; see: https://github.com/Z3Prover/z3/issues/5776
|
|
./ocamlfind.patch
|
|
];
|
|
}); in
|
|
|
|
stdenv.mkDerivation {
|
|
|
|
pname = "ocaml${ocaml.version}-z3";
|
|
inherit (z3-with-ocaml) version;
|
|
|
|
dontUnpack = true;
|
|
|
|
installPhase = ''
|
|
runHook preInstall
|
|
mkdir -p $OCAMLFIND_DESTDIR
|
|
cp -r ${z3-with-ocaml.ocaml}/lib/ocaml/${ocaml.version}/site-lib/stublibs $OCAMLFIND_DESTDIR
|
|
cp -r ${z3-with-ocaml.ocaml}/lib/ocaml/${ocaml.version}/site-lib/Z3 $OCAMLFIND_DESTDIR/z3
|
|
runHook postInstall
|
|
'';
|
|
|
|
nativeBuildInputs = [ findlib ];
|
|
propagatedBuildInputs = [ zarith ];
|
|
|
|
strictDeps = true;
|
|
|
|
meta = z3.meta // {
|
|
description = "Z3 Theorem Prover (OCaml API)";
|
|
};
|
|
}
|