diff options
Diffstat (limited to 'pkgs/development/ocaml-modules/elina/default.nix')
-rw-r--r-- | pkgs/development/ocaml-modules/elina/default.nix | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/pkgs/development/ocaml-modules/elina/default.nix b/pkgs/development/ocaml-modules/elina/default.nix new file mode 100644 index 0000000000000..44bfeb2d47407 --- /dev/null +++ b/pkgs/development/ocaml-modules/elina/default.nix @@ -0,0 +1,33 @@ +{ stdenv, fetchurl, perl, gmp, mpfr, ocaml, findlib, camlidl, apron }: + +stdenv.mkDerivation rec { + version = "1.1"; + name = "ocaml${ocaml.version}-elina-${version}"; + src = fetchurl { + url = "http://files.sri.inf.ethz.ch/elina-${version}.tar.gz"; + sha256 = "1nymykskq1yx87y4xl6hl9i4q6kv0qaq25rniqgl1bfn883p1ysc"; + }; + + buildInputs = [ perl ocaml findlib ]; + + propagatedBuildInputs = [ apron camlidl gmp mpfr ]; + + prefixKey = "--prefix "; + configureFlags = [ + "--use-apron" + "--use-opam" + "--apron-prefix" "${apron}" + ] + ++ stdenv.lib.optional stdenv.isDarwin "--absolute-dylibs" + ; + + createFindlibDestdir = true; + + meta = { + description = "ETH LIbrary for Numerical Analysis"; + homepage = "http://elina.ethz.ch/"; + license = stdenv.lib.licenses.lgpl3; + maintainers = [ stdenv.lib.maintainers.vbgl ]; + inherit (ocaml.meta) platforms; + }; +} |