diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2023-03-01 04:04:20 +0000 |
---|---|---|
committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2023-03-01 04:13:04 +0000 |
commit | fe6b447c430b23f508af608aff740e0c644297d7 (patch) | |
tree | eb70a9ae3ca7109d819646da981b528326a9570f /pkgs/development/ocaml-modules/elina | |
parent | 6340fcc6a9ebb78d16b674d462508ee467884e96 (diff) | |
download | nixpkgs-fe6b447c430b23f508af608aff740e0c644297d7.tar nixpkgs-fe6b447c430b23f508af608aff740e0c644297d7.tar.gz nixpkgs-fe6b447c430b23f508af608aff740e0c644297d7.tar.bz2 nixpkgs-fe6b447c430b23f508af608aff740e0c644297d7.tar.lz nixpkgs-fe6b447c430b23f508af608aff740e0c644297d7.tar.xz nixpkgs-fe6b447c430b23f508af608aff740e0c644297d7.tar.zst nixpkgs-fe6b447c430b23f508af608aff740e0c644297d7.zip |
ocamlPackages.elina: fixup build by using older make
Diffstat (limited to 'pkgs/development/ocaml-modules/elina')
-rw-r--r-- | pkgs/development/ocaml-modules/elina/default.nix | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/pkgs/development/ocaml-modules/elina/default.nix b/pkgs/development/ocaml-modules/elina/default.nix index ec4199cc06e..c0a4cbc31e3 100644 --- a/pkgs/development/ocaml-modules/elina/default.nix +++ b/pkgs/development/ocaml-modules/elina/default.nix @@ -1,4 +1,4 @@ -{ stdenv, lib, fetchurl, perl, gmp, mpfr, ocaml, findlib, camlidl, apron }: +{ stdenv, lib, fetchurl, gnumake42, perl, gmp, mpfr, ocaml, findlib, camlidl, apron }: stdenv.mkDerivation rec { version = "1.1"; @@ -8,7 +8,8 @@ stdenv.mkDerivation rec { sha256 = "1nymykskq1yx87y4xl6hl9i4q6kv0qaq25rniqgl1bfn883p1ysc"; }; - nativeBuildInputs = [ perl ocaml findlib camlidl ]; + # fails with make 4.4 + nativeBuildInputs = [ gnumake42 perl ocaml findlib camlidl ]; propagatedBuildInputs = [ apron gmp mpfr ]; |