···11+{ stdenv, fetchurl }:
22+33+let
44+ version = "4.2";
55+in
66+stdenv.mkDerivation {
77+ name = "gnumake-${version}";
88+99+ src = fetchurl {
1010+ url = "mirror://gnu/make/make-${version}.tar.bz2";
1111+ sha256 = "0pv5rvz5pp4njxiz3syf786d2xp4j7gzddwjvgw5zmz55yvf6p2f";
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+ outputs = [ "out" "doc" ];
2323+2424+ meta = {
2525+ homepage = http://www.gnu.org/software/make/;
2626+ description = "A tool to control the generation of non-source files from sources";
2727+ license = stdenv.lib.licenses.gpl3Plus;
2828+2929+ longDescription = ''
3030+ Make is a tool which controls the generation of executables and
3131+ other non-source files of a program from the program's source files.
3232+3333+ Make gets its knowledge of how to build your program from a file
3434+ called the makefile, which lists each of the non-source files and
3535+ how to compute it from other files. When you write a program, you
3636+ should write a makefile for it, so that it is possible to use Make
3737+ to build and install the program.
3838+ '';
3939+4040+ platforms = stdenv.lib.platforms.all;
4141+ };
4242+}