aboutsummaryrefslogtreecommitdiff
path: root/distro
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2012-08-21 18:14:57 +0200
committerLudovic Courtès <ludo@gnu.org>2012-08-21 18:14:57 +0200
commitab77686565478e9e66fd1cf0b3f73d08843af04b (patch)
treed808ea5cf917017633c4e45356bc38202944aa33 /distro
parentfc484f605cf3fc1be1206bb3d6637d0ca264ddea (diff)
downloadpatches-ab77686565478e9e66fd1cf0b3f73d08843af04b.tar
patches-ab77686565478e9e66fd1cf0b3f73d08843af04b.tar.gz
distro: Add GNU Make.
* distro/base.scm (gnu-make): New variable. * distro/make-impure-dirs.patch: New file. * Makefile.am (nobase_dist_guilemodule_DATA): Add it.
Diffstat (limited to 'distro')
-rw-r--r--distro/base.scm30
-rw-r--r--distro/make-impure-dirs.patch40
2 files changed, 70 insertions, 0 deletions
diff --git a/distro/base.scm b/distro/base.scm
index cc3bff3705..1a1fe76281 100644
--- a/distro/base.scm
+++ b/distro/base.scm
@@ -156,6 +156,36 @@ macro processor in its own right.")
(license "GPLv3+")
(home-page "http://www.gnu.org/software/m4/")))
+(define-public gnu-make
+ (package
+ (name "make")
+ (version "3.82")
+ (source (origin
+ (method http-fetch)
+ (uri (string-append "http://ftp.gnu.org/gnu/make/make-" version
+ ".tar.bz2"))
+ (sha256
+ (base32
+ "0ri98385hsd7li6rh4l5afcq92v8l2lgiaz85wgcfh4w2wzsghg2"))))
+ (build-system gnu-build-system)
+ (native-inputs
+ `(("patch/impure-dirs"
+ ,(search-path %load-path "distro/make-impure-dirs.patch"))))
+ (arguments `(#:patches (list (assoc-ref %build-inputs
+ "patch/impure-dirs"))))
+ (description "GNU Make, a program controlling the generation of non-source
+files from sources")
+ (long-description
+ "Make is a tool which controls the generation of executables and other
+non-source files of a program from the program's source files.
+
+Make gets its knowledge of how to build your program from a file called the
+makefile, which lists each of the non-source files and how to compute it from
+other files. When you write a program, you should write a makefile for it, so
+that it is possible to use Make to build and install the program.")
+ (license "GPLv3+")
+ (home-page "http://www.gnu.org/software/make/")))
+
(define-public gmp
(package
(name "gmp")
diff --git a/distro/make-impure-dirs.patch b/distro/make-impure-dirs.patch
new file mode 100644
index 0000000000..83a5fbe3a5
--- /dev/null
+++ b/distro/make-impure-dirs.patch
@@ -0,0 +1,40 @@
+Purity: don't look for library dependencies (of the form `-lfoo') in
+/lib and /usr/lib. Likewise, when searching for included Makefiles,
+don't look in /usr/include and friends.
+
+Patch from Nixpkgs, by Eelco Dolstra.
+
+diff -rc make-3.81-orig/read.c make-3.81/read.c
+*** make-3.81-orig/read.c 2006-03-17 15:24:20.000000000 +0100
+--- make-3.81/read.c 2007-05-24 17:16:31.000000000 +0200
+***************
+*** 99,107 ****
+--- 99,109 ----
+ #endif
+ INCLUDEDIR,
+ #ifndef _AMIGA
++ #if 0
+ "/usr/gnu/include",
+ "/usr/local/include",
+ "/usr/include",
++ #endif
+ #endif
+ 0
+ };
+diff -rc make-3.81-orig/remake.c make-3.81/remake.c
+*** make-3.81-orig/remake.c 2006-03-20 03:36:37.000000000 +0100
+--- make-3.81/remake.c 2007-05-24 17:06:54.000000000 +0200
+***************
+*** 1452,1460 ****
+--- 1452,1462 ----
+ static char *dirs[] =
+ {
+ #ifndef _AMIGA
++ #if 0
+ "/lib",
+ "/usr/lib",
+ #endif
++ #endif
+ #if defined(WINDOWS32) && !defined(LIBDIR)
+ /*
+ * This is completely up to the user at product install time. Just define