ref: eb624d7c1726a773ffd46238d7acc73f8cb2d9b7
parent: 63463b93bc5f08a60a276949cd644160d16cead6
author: Werner Lemberg <[email protected]>
date: Thu Mar 21 18:58:28 EDT 2013
* configure: Automatically test for `gmake' also. Suggested by Mojca Miklavec <[email protected]>.
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2013-03-21 Werner Lemberg <[email protected]>
+
+ * configure: Automatically test for `gmake' also.
+
+ Suggested by Mojca Miklavec <[email protected]>.
+
2013-03-21 Peter Breitenlohner <[email protected]>
Respect CONFIG_SHELL from the environment.
--- a/configure
+++ b/configure
@@ -18,24 +18,26 @@
# 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