at v206 37 lines 928 B view raw
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}