···11-{stdenv, fetchurl}:
22-33-let version = "4.0"; in
44-stdenv.mkDerivation {
55- name = "gnumake-${version}";
66-77- src = fetchurl {
88- url = "mirror://gnu/make/make-${version}.tar.bz2";
99- sha256 = "1nyvn8mknw0mf7727lprva3lisl1y0n03lvar342rrpdmz3qc1p6";
1010- };
1111-1212- /* On Darwin, there are 3 test failures that haven't been investigated
1313- yet. */
1414- doCheck = !stdenv.isDarwin && !stdenv.isFreeBSD;
1515-1616- patches =
1717- [
1818- # Purity: don't look for library dependencies (of the form
1919- # `-lfoo') in /lib and /usr/lib. It's a stupid feature anyway.
2020- # Likewise, when searching for included Makefiles, don't look in
2121- # /usr/include and friends.
2222- ./impure-dirs.patch
2323-2424- # a bunch of patches from Gentoo, mostly should be from upstream (unreleased)
2525- ./darwin-library_search-dylib.patch
2626- ];
2727- patchFlags = "-p0";
2828-2929- meta = {
3030- description = "GNU Make, a program controlling the generation of non-source files from sources";
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- homepage = http://www.gnu.org/software/make/;
4444-4545- license = stdenv.lib.licenses.gpl3Plus;
4646- maintainers = [ ];
4747- platforms = stdenv.lib.platforms.all;
4848- };
4949-}