···11+{ stdenv, fetchurl }:
22+33+let
44+ version = "4.1";
55+in
66+stdenv.mkDerivation {
77+ name = "gnumake-${version}";
88+99+ src = fetchurl {
1010+ url = "mirror://gnu/make/make-${version}.tar.bz2";
1111+ sha256 = "19gwwhik3wdwn0r42b7xcihkbxvjl9r2bdal8nifc3k5i4rn3iqb";
1212+ };
1313+1414+ patchFlags = "-p0";
1515+ patches = [
1616+ # Purity: don't look for library dependencies (of the form `-lfoo') in /lib
1717+ # and /usr/lib. It's a stupid feature anyway. Likewise, when searching for
1818+ # included Makefiles, don't look in /usr/include and friends.
1919+ ./impure-dirs.patch
2020+ ];
2121+2222+ meta = {
2323+ homepage = http://www.gnu.org/software/make/;
2424+ description = "A tool to control the generation of non-source files from sources";
2525+ license = stdenv.lib.licenses.gpl3Plus;
2626+2727+ longDescription = ''
2828+ Make is a tool which controls the generation of executables and
2929+ other non-source files of a program from the program's source files.
3030+3131+ Make gets its knowledge of how to build your program from a file
3232+ called the makefile, which lists each of the non-source files and
3333+ how to compute it from other files. When you write a program, you
3434+ should write a makefile for it, so that it is possible to use Make
3535+ to build and install the program.
3636+ '';
3737+3838+ maintainers = with stdenv.lib.maintainers; [ ludo simons ];
3939+ platforms = stdenv.lib.platforms.all;
4040+ };
4141+}