pkgs/development/ocaml-modules/elina/default.nix

   1 { stdenv, lib, fetchurl, perl, gmp, mpfr, ocaml, findlib, camlidl, apron }:
   2
   3 stdenv.mkDerivation rec {
   4   version = "1.1";
   5   pname = "ocaml${ocaml.version}-elina";
   6   src = fetchurl {
   7     url = "http://files.sri.inf.ethz.ch/elina-${version}.tar.gz";
   8     sha256 = "1nymykskq1yx87y4xl6hl9i4q6kv0qaq25rniqgl1bfn883p1ysc";
   9   };
  10
  11   nativeBuildInputs = [ perl ocaml findlib camlidl ];
  12
  13   propagatedBuildInputs = [ apron gmp mpfr ];
  14
  15   strictDeps = true;
  16
  17   prefixKey = "--prefix ";
  18   configureFlags = [
  19     "--use-apron"
  20     "--use-opam"
  21     "--apron-prefix" apron
  22   ]
  23   ++ lib.optional stdenv.isDarwin "--absolute-dylibs"
  24   ;
  25
  26   createFindlibDestdir = true;
  27
  28   meta = {
  29     description = "ETH LIbrary for Numerical Analysis";
  30     homepage = "http://elina.ethz.ch/";
  31     license = lib.licenses.lgpl3;
  32     maintainers = [ lib.maintainers.vbgl ];
  33     inherit (ocaml.meta) platforms;
  34   };
  35 }