1{stdenv, fetchurl, ocaml, findlib, gmp, mpfr, ncurses }:
2
3let
4 ocaml_version = (builtins.parseDrvName ocaml.name).version;
5 pname = "mlgmp";
6 version = "20120224";
7in
8
9stdenv.mkDerivation {
10 name = "${pname}-${version}";
11
12 src = fetchurl {
13 url = "http://www-verimag.imag.fr/~monniaux/download/${pname}_${version}.tar.gz";
14 sha256 = "3ce1a53fa452ff5a9ba618864d3bc46ef32190b57202d1e996ca7df837ad4f24";
15 };
16
17 makeFlags = [
18 "DESTDIR=$(out)/lib/ocaml/${ocaml_version}/site-lib/gmp"
19 ];
20
21 preConfigure = "make clean";
22 buildInputs = [ocaml findlib gmp mpfr ncurses];
23
24 createFindlibDestdir = true;
25
26 propagatedbuildInputs = [gmp mpfr ncurses];
27
28 postInstall = ''
29 cp ${./META} $out/lib/ocaml/${ocaml_version}/site-lib/gmp/META
30 '';
31
32 meta = {
33 homepage = http://opam.ocamlpro.com/pkg/mlgmp.20120224.html;
34 description = "OCaml bindings to GNU MP library";
35 license = "Free software ?";
36 };
37}