tjh.dev
1{ stdenv, lib, fetchFromGitHub, perl, gmp, mpfr, ppl, ocaml, findlib, camlidl, mlgmpidl
2, gnumake42
3}:
4
5stdenv.mkDerivation rec {
6 pname = "ocaml${ocaml.version}-apron";
7 version = "0.9.13";
8 src = fetchFromGitHub {
9 owner = "antoinemine";
10 repo = "apron";
11 rev = "v${version}";
12 sha256 = "14ymjahqdxj26da8wik9d5dzlxn81b3z1iggdl7rn2nn06jy7lvy";
13 };
14
15 # fails with make 4.4
16 nativeBuildInputs = [ ocaml findlib perl gnumake42 ];
17 buildInputs = [ gmp mpfr ppl camlidl ];
18 propagatedBuildInputs = [ mlgmpidl ];
19
20 # TODO: Doesn't produce the library correctly if true
21 strictDeps = false;
22
23 outputs = [ "out" "bin" "dev" ];
24
25 configurePhase = ''
26 runHook preConfigure
27 ./configure -prefix $out
28 mkdir -p $out/lib/ocaml/${ocaml.version}/site-lib/stublibs
29 runHook postConfigure
30 '';
31
32 postInstall = ''
33 mkdir -p $dev/lib
34 mv $out/lib/ocaml $dev/lib/
35 mkdir -p $bin
36 mv $out/bin $bin/
37 '';
38
39 meta = {
40 license = lib.licenses.lgpl21;
41 homepage = "http://apron.cri.ensmp.fr/library/";
42 maintainers = [ lib.maintainers.vbgl ];
43 description = "Numerical abstract domain library";
44 inherit (ocaml.meta) platforms;
45 };
46}