Commit eb624d7c1726a773ffd46238d7acc73f8cb2d9b7

Werner Lemberg 2013-03-21T22:58:28

* configure: Automatically test for `gmake' also. Suggested by Mojca Miklavec <mojca.miklavec.lists@gmail.com>.

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