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 00000000000..6ca56d57ba6
--- /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;
+}