diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-11-28 16:56:47 +0000 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2017-12-03 08:21:55 +0100 |
| commit | 83005408d3e0d453478d5ab774c7faf827f53415 (patch) | |
| tree | 7288ac41d28111b2b5fbffd96ab66b68e1e31011 /pkgs/development/ocaml-modules/mlgmpidl | |
| parent | 3954032ac5f38a6b3c693874497cb55e6c0aadb7 (diff) | |
| download | nixpkgs-83005408d3e0d453478d5ab774c7faf827f53415.tar nixpkgs-83005408d3e0d453478d5ab774c7faf827f53415.tar.gz nixpkgs-83005408d3e0d453478d5ab774c7faf827f53415.tar.bz2 nixpkgs-83005408d3e0d453478d5ab774c7faf827f53415.tar.lz nixpkgs-83005408d3e0d453478d5ab774c7faf827f53415.tar.xz nixpkgs-83005408d3e0d453478d5ab774c7faf827f53415.tar.zst nixpkgs-83005408d3e0d453478d5ab774c7faf827f53415.zip | |
ocamlPackages.mlgmpidl: 1.2.4 -> 1.2.6
Diffstat (limited to 'pkgs/development/ocaml-modules/mlgmpidl')
| -rw-r--r-- | pkgs/development/ocaml-modules/mlgmpidl/default.nix | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/pkgs/development/ocaml-modules/mlgmpidl/default.nix b/pkgs/development/ocaml-modules/mlgmpidl/default.nix index 7e12abe386b..c82df1396bd 100644 --- a/pkgs/development/ocaml-modules/mlgmpidl/default.nix +++ b/pkgs/development/ocaml-modules/mlgmpidl/default.nix @@ -1,19 +1,20 @@ -{ stdenv, fetchFromGitHub, ocaml, findlib, camlidl, gmp, mpfr }: +{ stdenv, fetchFromGitHub, perl, ocaml, findlib, camlidl, gmp, mpfr }: stdenv.mkDerivation rec { name = "ocaml${ocaml.version}-mlgmpidl-${version}"; - version = "1.2.4"; + version = "1.2.6"; src = fetchFromGitHub { owner = "nberth"; repo = "mlgmpidl"; rev = version; - sha256 = "09f9rk2bavhb7cdwjpibjf8bcjk59z85ac9dr8nvks1s842dp65s"; + sha256 = "1lq3yy10v3rvlchbl5kl75l9f8frgj6g9f1n14kj5qlxm5xsrvks"; }; - buildInputs = [ gmp mpfr ocaml findlib camlidl ]; + buildInputs = [ perl gmp mpfr ocaml findlib camlidl ]; configurePhase = '' - cp Makefile.config.model Makefile.config + echo CAML_PREFIX = ${ocaml} > Makefile.config + cat Makefile.config.model >> Makefile.config sed -i Makefile.config \ -e 's|^MLGMPIDL_PREFIX.*$|MLGMPIDL_PREFIX = $out|' \ -e 's|^GMP_PREFIX.*$|GMP_PREFIX = ${gmp.dev}|' \ |