diff options
| author | Christophe Raffalli <raffalli@univ-savoie.fr> | 2013-06-16 22:23:51 +0200 |
|---|---|---|
| committer | Christophe Raffalli <raffalli@univ-savoie.fr> | 2013-06-16 22:33:33 +0200 |
| commit | fc36c198342d06cc8f64d27cc493188a477fa9b0 (patch) | |
| tree | 9fd977faeffca2a6b90b8ab38ba5f1ff45772d7b /pkgs/development/ocaml-modules/mlgmp | |
| parent | ccda14879efd818b17a0b85bb0c3a512c1ebf84d (diff) | |
| download | nixlib-fc36c198342d06cc8f64d27cc493188a477fa9b0.tar nixlib-fc36c198342d06cc8f64d27cc493188a477fa9b0.tar.gz nixlib-fc36c198342d06cc8f64d27cc493188a477fa9b0.tar.bz2 nixlib-fc36c198342d06cc8f64d27cc493188a477fa9b0.tar.lz nixlib-fc36c198342d06cc8f64d27cc493188a477fa9b0.tar.xz nixlib-fc36c198342d06cc8f64d27cc493188a477fa9b0.tar.zst nixlib-fc36c198342d06cc8f64d27cc493188a477fa9b0.zip | |
Added OCaml gmp bindings mlgmp
Diffstat (limited to 'pkgs/development/ocaml-modules/mlgmp')
| -rw-r--r-- | pkgs/development/ocaml-modules/mlgmp/META | 7 | ||||
| -rw-r--r-- | pkgs/development/ocaml-modules/mlgmp/default.nix | 37 |
2 files changed, 44 insertions, 0 deletions
diff --git a/pkgs/development/ocaml-modules/mlgmp/META b/pkgs/development/ocaml-modules/mlgmp/META new file mode 100644 index 000000000000..e132e179b33f --- /dev/null +++ b/pkgs/development/ocaml-modules/mlgmp/META @@ -0,0 +1,7 @@ +name="gmp" +version="@VERSION@" +description="bindings to GNU MP library" +archive(byte)="gmp.cma" +archive(native)="gmp.cmxa" +requires="" + diff --git a/pkgs/development/ocaml-modules/mlgmp/default.nix b/pkgs/development/ocaml-modules/mlgmp/default.nix new file mode 100644 index 000000000000..78447796025a --- /dev/null +++ b/pkgs/development/ocaml-modules/mlgmp/default.nix @@ -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 ?"; + }; +} |