ocamlPackages.mlgmpidl: 1.2.4 -> 1.2.6

This commit is contained in:
Vincent Laporte 2017-11-28 16:56:47 +00:00 committed by Vincent Laporte
parent 3954032ac5
commit 83005408d3

View File

@ -1,19 +1,20 @@
{ stdenv, fetchFromGitHub, ocaml, findlib, camlidl, gmp, mpfr }: { stdenv, fetchFromGitHub, perl, ocaml, findlib, camlidl, gmp, mpfr }:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "ocaml${ocaml.version}-mlgmpidl-${version}"; name = "ocaml${ocaml.version}-mlgmpidl-${version}";
version = "1.2.4"; version = "1.2.6";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "nberth"; owner = "nberth";
repo = "mlgmpidl"; repo = "mlgmpidl";
rev = version; rev = version;
sha256 = "09f9rk2bavhb7cdwjpibjf8bcjk59z85ac9dr8nvks1s842dp65s"; sha256 = "1lq3yy10v3rvlchbl5kl75l9f8frgj6g9f1n14kj5qlxm5xsrvks";
}; };
buildInputs = [ gmp mpfr ocaml findlib camlidl ]; buildInputs = [ perl gmp mpfr ocaml findlib camlidl ];
configurePhase = '' configurePhase = ''
cp Makefile.config.model Makefile.config echo CAML_PREFIX = ${ocaml} > Makefile.config
cat Makefile.config.model >> Makefile.config
sed -i Makefile.config \ sed -i Makefile.config \
-e 's|^MLGMPIDL_PREFIX.*$|MLGMPIDL_PREFIX = $out|' \ -e 's|^MLGMPIDL_PREFIX.*$|MLGMPIDL_PREFIX = $out|' \
-e 's|^GMP_PREFIX.*$|GMP_PREFIX = ${gmp.dev}|' \ -e 's|^GMP_PREFIX.*$|GMP_PREFIX = ${gmp.dev}|' \