dtools: fixup build by using older make

This commit is contained in:
Vladimír Čunát 2022-12-16 19:59:39 +01:00
parent ac36665726
commit 3d31187944
No known key found for this signature in database
GPG Key ID: E747DF1F9575A3AA

View File

@ -1,4 +1,4 @@
{stdenv, lib, fetchFromGitHub, fetchpatch, ldc, curl}:
{ stdenv, lib, fetchFromGitHub, fetchpatch, ldc, curl, gnumake42 }:
stdenv.mkDerivation rec {
pname = "dtools";
@ -20,7 +20,7 @@ stdenv.mkDerivation rec {
})
];
nativeBuildInputs = [ ldc ];
nativeBuildInputs = [ ldc gnumake42 ]; # fails with make 4.4
buildInputs = [ curl ];
makeCmd = ''