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