tjh.dev
1{ stdenv, lib, fetchurl, gnumake42, perl, gmp, mpfr, ocaml, findlib, camlidl, apron }:
2
3stdenv.mkDerivation rec {
4 version = "1.1";
5 pname = "ocaml${ocaml.version}-elina";
6 src = fetchurl {
7 url = "http://files.sri.inf.ethz.ch/elina-${version}.tar.gz";
8 sha256 = "1nymykskq1yx87y4xl6hl9i4q6kv0qaq25rniqgl1bfn883p1ysc";
9 };
10
11 # fails with make 4.4
12 nativeBuildInputs = [ gnumake42 perl ocaml findlib camlidl ];
13
14 propagatedBuildInputs = [ apron gmp mpfr ];
15
16 strictDeps = true;
17
18 prefixKey = "--prefix ";
19 configureFlags = [
20 "--use-apron"
21 "--use-opam"
22 "--apron-prefix" apron
23 ]
24 ++ lib.optional stdenv.isDarwin "--absolute-dylibs"
25 ;
26
27 createFindlibDestdir = true;
28
29 meta = {
30 description = "ETH LIbrary for Numerical Analysis";
31 homepage = "http://elina.ethz.ch/";
32 license = lib.licenses.lgpl3;
33 maintainers = [ lib.maintainers.vbgl ];
34 platforms = lib.intersectLists ocaml.meta.platforms lib.platforms.x86;
35 };
36}