depot/third_party/nixpkgs/pkgs/development/ocaml-modules/elina/default.nix
Default email 8e65f7f0cc Project import generated by Copybara.
GitOrigin-RevId: 062a0c5437b68f950b081bbfc8a699d57a4ee026
2022-03-05 17:20:37 +01:00

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