···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- # Don't segfault if we can't get a tty name.
2222- ./no-tty-name.patch
2323- ];
2424-2525- outputs = [ "out" "doc" ];
2626-2727- meta = {
2828- homepage = http://www.gnu.org/software/make/;
2929- description = "A tool to control the generation of non-source files from sources";
3030- license = stdenv.lib.licenses.gpl3Plus;
3131-3232- longDescription = ''
3333- Make is a tool which controls the generation of executables and
3434- other non-source files of a program from the program's source files.
3535-3636- Make gets its knowledge of how to build your program from a file
3737- called the makefile, which lists each of the non-source files and
3838- how to compute it from other files. When you write a program, you
3939- should write a makefile for it, so that it is possible to use Make
4040- to build and install the program.
4141- '';
4242-4343- platforms = stdenv.lib.platforms.all;
4444- };
4545-}