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
43 lines
1.0 KiB
Nix
43 lines
1.0 KiB
Nix
{stdenv, lib, fetchurl, ocaml, findlib, gmp, mpfr, ncurses }:
|
|
|
|
if lib.versionAtLeast ocaml.version "4.03"
|
|
then throw "mlgmp is not available for OCaml ${ocaml.version}" else
|
|
|
|
let
|
|
pname = "mlgmp";
|
|
in
|
|
|
|
stdenv.mkDerivation rec {
|
|
name = "${pname}-${version}";
|
|
version = "20120224";
|
|
|
|
src = fetchurl {
|
|
url = "http://www-verimag.imag.fr/~monniaux/download/${pname}_${version}.tar.gz";
|
|
sha256 = "3ce1a53fa452ff5a9ba618864d3bc46ef32190b57202d1e996ca7df837ad4f24";
|
|
};
|
|
|
|
makeFlags = [
|
|
"DESTDIR=$(out)/lib/ocaml/${ocaml.version}/site-lib/gmp"
|
|
];
|
|
|
|
preConfigure = "make clean";
|
|
nativeBuildInputs = [ocaml findlib ];
|
|
buildInputs = [ gmp mpfr ncurses];
|
|
|
|
strictDeps = true;
|
|
|
|
createFindlibDestdir = true;
|
|
|
|
propagatedbuildInputs = [gmp mpfr ncurses];
|
|
|
|
postInstall = ''
|
|
cp ${./META} $out/lib/ocaml/${ocaml.version}/site-lib/gmp/META
|
|
'';
|
|
|
|
meta = {
|
|
homepage = "http://opam.ocamlpro.com/pkg/mlgmp.20120224.html";
|
|
description = "OCaml bindings to GNU MP library";
|
|
license = "Free software ?";
|
|
};
|
|
}
|