diff options
Diffstat (limited to 'pkgs/development/tools/build-managers/gnumake/default.fix')
-rw-r--r-- | pkgs/development/tools/build-managers/gnumake/default.fix | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/pkgs/development/tools/build-managers/gnumake/default.fix b/pkgs/development/tools/build-managers/gnumake/default.fix new file mode 100644 index 0000000000000..6ca56d57ba6d7 --- /dev/null +++ b/pkgs/development/tools/build-managers/gnumake/default.fix @@ -0,0 +1,10 @@ +{stdenv, fetchurl}: derivation { + name = "gnumake-3.80"; + system = stdenv.system; + builder = ./builder.sh; + src = fetchurl { + url = ftp://ftp.nluug.nl/pub/gnu/make/make-3.80.tar.bz2; + md5 = "0bbd1df101bc0294d440471e50feca71"; + }; + stdenv = stdenv; +} |