nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-02 03:43:06 +00:00
Code Issues Packages Projects Releases Wiki Activity

ocamlPackages.elina: fixup build by using older make

Browse Source
This commit is contained in:
Vincent Laporte 2023-03-01 04:04:20 +00:00
parent 6340fcc6a9
commit fe6b447c43
No known key found for this signature in database
GPG Key ID: EBD582ADDDB1F81F
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
pkgs/development/ocaml-modules/elina/default.nix
View File

@ -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 ];