ocamlPackages.mlgmpidl: 1.2.12 → 1.2.15

This commit is contained in:
Vincent Laporte 2022-11-12 07:05:48 +01:00 committed by Vincent Laporte
parent 0fd0bd0f35
commit f86d80320e

View file

@ -1,17 +1,18 @@
{ stdenv, lib, fetchFromGitHub, perl, ocaml, findlib, camlidl, gmp, mpfr }: { stdenv, lib, fetchFromGitHub, perl, ocaml, findlib, camlidl, gmp, mpfr, bigarray-compat }:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "ocaml${ocaml.version}-mlgmpidl"; pname = "ocaml${ocaml.version}-mlgmpidl";
version = "1.2.12"; version = "1.2.15";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "nberth"; owner = "nberth";
repo = "mlgmpidl"; repo = "mlgmpidl";
rev = version; rev = version;
sha256 = "17xqiclaqs4hmnb92p9z6z9a1xfr31vcn8nlnj8ykk57by31vfza"; sha256 = "sha256-85wy5eVWb5qdaa2lLDcfqlUTIY7vnN3nGMdxoj5BslU=";
}; };
nativeBuildInputs = [ perl ocaml findlib camlidl ]; nativeBuildInputs = [ perl ocaml findlib camlidl ];
buildInputs = [ gmp mpfr ]; buildInputs = [ gmp mpfr ];
propagatedBuildInputs = [ bigarray-compat ];
strictDeps = true; strictDeps = true;
@ -19,6 +20,7 @@ stdenv.mkDerivation rec {
configureFlags = [ configureFlags = [
"--gmp-prefix ${gmp.dev}" "--gmp-prefix ${gmp.dev}"
"--mpfr-prefix ${mpfr.dev}" "--mpfr-prefix ${mpfr.dev}"
"-disable-profiling"
]; ];
postConfigure = '' postConfigure = ''