4e42cac49d
This change was produced by searching for remaining occurrences of stdenv.lib and replacing them manually. Reference #108938.
34 lines
862 B
Nix
34 lines
862 B
Nix
{ stdenv, lib, 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
|
|
]
|
|
++ 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;
|
|
};
|
|
}
|