diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2013-10-16 16:27:45 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2013-10-16 17:36:19 +0200 |
| commit | ed41d48ef195960d784db0e547d5ff6dcaa9b774 (patch) | |
| tree | 01c02125166a6f1e78b6928f81dc3f9efeff8f69 /gnu/packages/patches/glibc-make-4.0.patch | |
| parent | 63760b5bab223131d3cef39755eaff9ea3c4d70b (diff) | |
| download | guix-patches-ed41d48ef195960d784db0e547d5ff6dcaa9b774.tar guix-patches-ed41d48ef195960d784db0e547d5ff6dcaa9b774.tar.gz | |
gnu: make: Update to 4.0, with Guile support.
* gnu/packages/base.scm (gnu-make): Update to 4.0. Add Guile as an input.
(gnu-make-boot0): Patch 'build.sh' so it does not attempt to build 'guile.c'.
(gnu-make-final): New variable.
(%final-inputs): Use it.
(glibc): Add 'glibc-make-4.0.patch'.
* gnu/packages/patches/glibc-make-4.0.patch: New file.
* gnu-system.am (dist_patch_DATA): Add it.
Diffstat (limited to 'gnu/packages/patches/glibc-make-4.0.patch')
| -rw-r--r-- | gnu/packages/patches/glibc-make-4.0.patch | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/gnu/packages/patches/glibc-make-4.0.patch b/gnu/packages/patches/glibc-make-4.0.patch new file mode 100644 index 0000000000..d83de1d33d --- /dev/null +++ b/gnu/packages/patches/glibc-make-4.0.patch @@ -0,0 +1,12 @@ +Allow libc to be compiled with GNU Make 4.0. + +--- glibc-2.18/configure 2013-08-11 00:52:55.000000000 +0200 ++++ glibc-2.18/configure 2013-10-16 16:53:09.000000000 +0200 +@@ -4772,7 +4772,7 @@ $as_echo_n "checking version of $MAKE... + ac_prog_version=`$MAKE --version 2>&1 | sed -n 's/^.*GNU Make[^0-9]*\([0-9][0-9.]*\).*$/\1/p'` + case $ac_prog_version in + '') ac_prog_version="v. ?.??, bad"; ac_verc_fail=yes;; +- 3.79* | 3.[89]*) ++ 3.79* | 3.[89]* | 4.*) + ac_prog_version="$ac_prog_version, ok"; ac_verc_fail=no;; + *) ac_prog_version="$ac_prog_version, bad"; ac_verc_fail=yes;; |