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/
This commit is contained in:
Vincent Laporte 2018-12-09 04:52:24 +00:00 committed by Vincent Laporte
parent b26ba90c34
commit b6ca91fba5
2 changed files with 35 additions and 0 deletions

View file

@ -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;
};
}

View file

@ -228,6 +228,8 @@ let
easy-format = callPackage ../development/ocaml-modules/easy-format { };
elina = callPackage ../development/ocaml-modules/elina { };
eliom = callPackage ../development/ocaml-modules/eliom {
js_of_ocaml-lwt = js_of_ocaml-lwt.override {
ocaml_lwt = lwt3;