* configure: Automatically test for `gmake' also. Suggested by Mojca Miklavec <mojca.miklavec.lists@gmail.com>.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58
diff --git a/ChangeLog b/ChangeLog
index 8d744e0..acc505d 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2013-03-21 Werner Lemberg <wl@gnu.org>
+
+ * configure: Automatically test for `gmake' also.
+
+ Suggested by Mojca Miklavec <mojca.miklavec.lists@gmail.com>.
+
2013-03-21 Peter Breitenlohner <peb@mppmu.mpg.de>
Respect CONFIG_SHELL from the environment.
diff --git a/configure b/configure
index 5052c08..b0c6d53 100755
--- a/configure
+++ b/configure
@@ -18,24 +18,26 @@ rm -f config.mk builds/unix/unix-def.mk builds/unix/unix-cc.mk
# respect GNUMAKE environment variable for backwards compatibility
if test "x$GNUMAKE" = x; then
if test "x$MAKE" = x; then
- MAKE=make
+ if test "x`make -v 2>/dev/null | grep '\(GNU\|makepp\)'`" = x; then
+ MAKE=gmake
+ else
+ MAKE=make
+ fi
fi
else
MAKE=$GNUMAKE
fi
-if test -z "`$MAKE -v 2>/dev/null | grep GNU`"; then
- if test -z "`$MAKE -v 2>/dev/null | grep makepp`"; then
- echo "GNU make (>= 3.80) or makepp (>= 1.19) is required to build FreeType2." >&2
- echo "Please try" >&2
- echo >&2
- echo " MAKE=<GNU make command name> $0" >&2
- echo >&2
- echo "or" >&2
- echo >&2
- echo " MAKE=\"makepp --norc-substitution\" $0" >&2
- exit 1
- fi
+if test "x`$MAKE -v 2>/dev/null | grep '\(GNU\|makepp\)'`" = x; then
+ echo "GNU make (>= 3.80) or makepp (>= 1.19) is required to build FreeType2." >&2
+ echo "Please try" >&2
+ echo >&2
+ echo " MAKE=<GNU make command name> $0" >&2
+ echo >&2
+ echo "or" >&2
+ echo >&2
+ echo " MAKE=\"makepp --norc-substitution\" $0" >&2
+ exit 1
fi
# Get `dirname' functionality. This is taken and adapted from autoconf's