Added OCaml gmp bindings mlgmp

This commit is contained in:
Christophe Raffalli 2013-06-16 22:23:51 +02:00
parent ccda14879e
commit fc36c19834
3 changed files with 46 additions and 0 deletions

View file

@ -0,0 +1,7 @@
name="gmp"
version="@VERSION@"
description="bindings to GNU MP library"
archive(byte)="gmp.cma"
archive(native)="gmp.cmxa"
requires=""

View file

@ -0,0 +1,37 @@
{stdenv, fetchurl, ocaml, findlib, gmp, mpfr, ncurses }:
let
ocaml_version = (builtins.parseDrvName ocaml.name).version;
pname = "mlgmp";
version = "20120224";
in
stdenv.mkDerivation {
name = "${pname}-${version}";
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";
buildInputs = [ocaml findlib gmp mpfr ncurses];
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 ?";
};
}

View file

@ -2736,6 +2736,8 @@ let
mldonkey = callPackage ../applications/networking/p2p/mldonkey { };
mlgmp = callPackage ../development/ocaml-modules/mlgmp { };
ocaml_batteries = callPackage ../development/ocaml-modules/batteries {
camomile = camomile_0_8_2;
};