ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2025-01-08 22:57:42 +03:00
Code Issues Projects Releases Wiki Activity

ocamlPackages.mlgmpidl: 1.2.7 -> 1.2.8

Browse Source 
This version builds even if profiling is not available (e.g., on Aarch).
This commit is contained in:
Vincent Laporte 2019-02-21 14:43:19 +00:00 committed by Vincent Laporte
parent 77201a115b
commit 79bc38c1bc
1 changed files with 9 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
pkgs/development/ocaml-modules/mlgmpidl/default.nix
View File

@ -2,25 +2,23 @@
stdenv.mkDerivation rec {
name = "ocaml${ocaml.version}-mlgmpidl-${version}";
version = "1.2.7";
version = "1.2.8";
src = fetchFromGitHub {
owner = "nberth";
repo = "mlgmpidl";
rev = version;
sha256 = "063hy1divbiabqm5x307iamw942sivzw9fr8vczy3kgndfp12nic";
sha256 = "1csqplyxi5gq6ma7g4la2x20mhz1plmjallsankv0mn0x69zb1id";
};
buildInputs = [ perl gmp mpfr ocaml findlib camlidl ];
configurePhase = ''
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}|' \
-e 's|^MPFR_PREFIX.*$|MPFR_PREFIX = ${mpfr.dev}|' \
-e 's|^CAMLIDL_DIR.*$|CAMLIDL_DIR = ${camlidl}/lib/ocaml/${ocaml.version}/site-lib/camlidl|'
echo HAS_NATIVE_PLUGINS = 1 >> Makefile.config
prefixKey = "-prefix ";
configureFlags = [
"--gmp-prefix ${gmp.dev}"
"--mpfr-prefix ${mpfr.dev}"
];
postConfigure = ''
sed -i Makefile \
-e 's|^ /bin/rm | rm |'
'';