Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
1.2 kB · 66 lines
Nix
12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667{ stdenv, lib, fetchFromGitHub, perl, gmp, mpfr, ppl, ocaml, findlib, camlidl, mlgmpidl, flint3, pplite,}:
stdenv.mkDerivation rec { pname = "ocaml${ocaml.version}-apron"; version = "0.9.15"; src = fetchFromGitHub { owner = "antoinemine"; repo = "apron"; rev = "v${version}"; hash = "sha256-gHLCurydxX1pS66DTAWUJGl9Yqu9RWRjkZh6lXzM7YY="; };
nativeBuildInputs = [ ocaml findlib perl ]; buildInputs = [ gmp mpfr ppl camlidl flint3 pplite ]; propagatedBuildInputs = [ mlgmpidl ];
outputs = [ "out" "dev" ];
configurePhase = '' runHook preConfigure ./configure -prefix $out ${lib.optionalString stdenv.hostPlatform.isDarwin "--no-strip"} mkdir -p $out/lib/ocaml/${ocaml.version}/site-lib/stublibs runHook postConfigure '';
postInstall = '' mkdir -p $dev/lib mv $out/lib/ocaml $dev/lib/ '';
meta = { license = lib.licenses.lgpl21; homepage = "http://apron.cri.ensmp.fr/library/"; maintainers = [ lib.maintainers.vbgl ]; description = "Numerical abstract domain library"; inherit (ocaml.meta) platforms; };}