ocamlPackages.apron: fixup build by using older make

This commit is contained in:
Vladimír Čunát 2022-12-17 08:35:35 +01:00
parent 05ca3d8285
commit ac54eb177a
No known key found for this signature in database
GPG key ID: E747DF1F9575A3AA

View file

@ -1,4 +1,6 @@
{ stdenv, lib, fetchFromGitHub, perl, gmp, mpfr, ppl, ocaml, findlib, camlidl, mlgmpidl }: { stdenv, lib, fetchFromGitHub, perl, gmp, mpfr, ppl, ocaml, findlib, camlidl, mlgmpidl
, gnumake42
}:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "ocaml${ocaml.version}-apron"; pname = "ocaml${ocaml.version}-apron";
@ -10,7 +12,8 @@ stdenv.mkDerivation rec {
sha256 = "14ymjahqdxj26da8wik9d5dzlxn81b3z1iggdl7rn2nn06jy7lvy"; sha256 = "14ymjahqdxj26da8wik9d5dzlxn81b3z1iggdl7rn2nn06jy7lvy";
}; };
nativeBuildInputs = [ ocaml findlib perl ]; # fails with make 4.4
nativeBuildInputs = [ ocaml findlib perl gnumake42 ];
buildInputs = [ gmp mpfr ppl camlidl ]; buildInputs = [ gmp mpfr ppl camlidl ];
propagatedBuildInputs = [ mlgmpidl ]; propagatedBuildInputs = [ mlgmpidl ];