ocamlPackages.mlgmpidl: 1.2.11 → 1.2.12
This commit is contained in:
parent
2df6898bb5
commit
0c7a1e7a24
@ -2,12 +2,12 @@
|
|||||||
|
|
||||||
stdenv.mkDerivation rec {
|
stdenv.mkDerivation rec {
|
||||||
name = "ocaml${ocaml.version}-mlgmpidl-${version}";
|
name = "ocaml${ocaml.version}-mlgmpidl-${version}";
|
||||||
version = "1.2.11";
|
version = "1.2.12";
|
||||||
src = fetchFromGitHub {
|
src = fetchFromGitHub {
|
||||||
owner = "nberth";
|
owner = "nberth";
|
||||||
repo = "mlgmpidl";
|
repo = "mlgmpidl";
|
||||||
rev = version;
|
rev = version;
|
||||||
sha256 = "1rycl84sdvgb5avdsya9iz8brx92y2zcb6cn4w1j0164j6q2ril9";
|
sha256 = "17xqiclaqs4hmnb92p9z6z9a1xfr31vcn8nlnj8ykk57by31vfza";
|
||||||
};
|
};
|
||||||
|
|
||||||
buildInputs = [ perl gmp mpfr ocaml findlib camlidl ];
|
buildInputs = [ perl gmp mpfr ocaml findlib camlidl ];
|
||||||
@ -21,9 +21,9 @@ stdenv.mkDerivation rec {
|
|||||||
postConfigure = ''
|
postConfigure = ''
|
||||||
sed -i Makefile \
|
sed -i Makefile \
|
||||||
-e 's|^ /bin/rm | rm |'
|
-e 's|^ /bin/rm | rm |'
|
||||||
|
mkdir -p $out/lib/ocaml/${ocaml.version}/site-lib/stublibs
|
||||||
'';
|
'';
|
||||||
|
|
||||||
createFindlibDestdir = true;
|
|
||||||
|
|
||||||
meta = {
|
meta = {
|
||||||
description = "OCaml interface to the GMP library";
|
description = "OCaml interface to the GMP library";
|
||||||
|
Loading…
x
Reference in New Issue
Block a user