BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

ocamlPackages.mlgmpidl: 1.12.15 → 1.13.0

Browse source
This commit is contained in:
Vincent Laporte 2024-02-12 13:56:05 +01:00 committed by Vincent Laporte
parent 2104e113a0
commit a8f67ac83d
1 changed files with 2 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
pkgs/development/ocaml-modules/mlgmpidl/default.nix
View file

@ -2,12 +2,12 @@
stdenv.mkDerivation rec {
pname = "ocaml${ocaml.version}-mlgmpidl";
version = "1.2.15";
version = "1.3.0";
src = fetchFromGitHub {
owner = "nberth";
repo = "mlgmpidl";
rev = version;
sha256 = "sha256-85wy5eVWb5qdaa2lLDcfqlUTIY7vnN3nGMdxoj5BslU=";
hash = "sha256-ZmSDKZiHko8MCeIuZL53HjupfwO6PAm8QOCc9O3xJOk=";
};
nativeBuildInputs = [ perl ocaml findlib camlidl ];
@ -17,18 +17,11 @@ stdenv.mkDerivation rec {
strictDeps = true;
prefixKey = "-prefix ";
configureFlags = [
"--gmp-prefix ${gmp.dev}"
"--mpfr-prefix ${mpfr.dev}"
"-disable-profiling"
];
postConfigure = ''
substituteInPlace Makefile --replace "/bin/rm" "rm"
mkdir -p $out/lib/ocaml/${ocaml.version}/site-lib/stublibs
'';
meta = {
description = "OCaml interface to the GMP library";
homepage = "https://www.inrialpes.fr/pop-art/people/bjeannet/mlxxxidl-forge/mlgmpidl/";