diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-12-09 04:52:24 +0000 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2018-12-16 08:54:51 +0000 |
commit | b6ca91fba5fd2b6c5db4ececcf2b6cbaf846143e (patch) | |
tree | 5f766a92ce8223d42a956b280f770fd29383bed6 /pkgs/development/ocaml-modules/elina | |
parent | b26ba90c34e2c01ec8afedb2c2ee608fe0c5f787 (diff) |
ocamlPackages.elina: init at 1.1
ELINA contains optimized implementations of popular numerical abstract domains such as Polyhedra, Octagon and Zones for static analysis. homepage: http://elina.ethz.ch/
Diffstat (limited to 'pkgs/development/ocaml-modules/elina')
-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; + }; +} |