diff options
| author | Vladimír Čunát <v@cunat.cz> | 2022-12-17 08:35:35 +0100 |
|---|---|---|
| committer | Vladimír Čunát <v@cunat.cz> | 2022-12-17 08:35:35 +0100 |
| commit | ac54eb177a59b136b1971b4fe6adc67f7597692a (patch) | |
| tree | 5d2bd13b7a49104f33ba32e26867e77f716d6a05 /pkgs/development/ocaml-modules/apron | |
| parent | 05ca3d828558e6948955cc9f4de79400a1186a75 (diff) | |
| download | nixpkgs-ac54eb177a59b136b1971b4fe6adc67f7597692a.tar nixpkgs-ac54eb177a59b136b1971b4fe6adc67f7597692a.tar.gz nixpkgs-ac54eb177a59b136b1971b4fe6adc67f7597692a.tar.bz2 nixpkgs-ac54eb177a59b136b1971b4fe6adc67f7597692a.tar.lz nixpkgs-ac54eb177a59b136b1971b4fe6adc67f7597692a.tar.xz nixpkgs-ac54eb177a59b136b1971b4fe6adc67f7597692a.tar.zst nixpkgs-ac54eb177a59b136b1971b4fe6adc67f7597692a.zip | |
ocamlPackages.apron: fixup build by using older make
Diffstat (limited to 'pkgs/development/ocaml-modules/apron')
| -rw-r--r-- | pkgs/development/ocaml-modules/apron/default.nix | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/pkgs/development/ocaml-modules/apron/default.nix b/pkgs/development/ocaml-modules/apron/default.nix index bfef3d5b6c6..c74545caf24 100644 --- a/pkgs/development/ocaml-modules/apron/default.nix +++ b/pkgs/development/ocaml-modules/apron/default.nix @@ -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 { pname = "ocaml${ocaml.version}-apron"; @@ -10,7 +12,8 @@ stdenv.mkDerivation rec { sha256 = "14ymjahqdxj26da8wik9d5dzlxn81b3z1iggdl7rn2nn06jy7lvy"; }; - nativeBuildInputs = [ ocaml findlib perl ]; + # fails with make 4.4 + nativeBuildInputs = [ ocaml findlib perl gnumake42 ]; buildInputs = [ gmp mpfr ppl camlidl ]; propagatedBuildInputs = [ mlgmpidl ]; |