a13cdfe520
To keep this for the future we also strictDeps where possible, including for janePackages, topkg, oasis and ocamlbuild. This makes some closures significantly smaller and makes cross compilation easier
35 lines
880 B
Nix
35 lines
880 B
Nix
{ stdenv, lib, fetchurl, perl, gmp, mpfr, ocaml, findlib, camlidl, apron }:
|
|
|
|
stdenv.mkDerivation rec {
|
|
version = "1.1";
|
|
pname = "ocaml${ocaml.version}-elina";
|
|
src = fetchurl {
|
|
url = "http://files.sri.inf.ethz.ch/elina-${version}.tar.gz";
|
|
sha256 = "1nymykskq1yx87y4xl6hl9i4q6kv0qaq25rniqgl1bfn883p1ysc";
|
|
};
|
|
|
|
nativeBuildInputs = [ perl ocaml findlib ];
|
|
|
|
propagatedBuildInputs = [ apron camlidl gmp mpfr ];
|
|
|
|
strictDeps = true;
|
|
|
|
prefixKey = "--prefix ";
|
|
configureFlags = [
|
|
"--use-apron"
|
|
"--use-opam"
|
|
"--apron-prefix" apron
|
|
]
|
|
++ lib.optional stdenv.isDarwin "--absolute-dylibs"
|
|
;
|
|
|
|
createFindlibDestdir = true;
|
|
|
|
meta = {
|
|
description = "ETH LIbrary for Numerical Analysis";
|
|
homepage = "http://elina.ethz.ch/";
|
|
license = lib.licenses.lgpl3;
|
|
maintainers = [ lib.maintainers.vbgl ];
|
|
inherit (ocaml.meta) platforms;
|
|
};
|
|
}
|