Check for suitable versions of make in bindists; fixes trac #3860
authorIan Lynagh <igloo@earth.li>
Sat, 20 Feb 2010 21:11:57 +0000 (21:11 +0000)
committerIan Lynagh <igloo@earth.li>
Sat, 20 Feb 2010 21:11:57 +0000 (21:11 +0000)
We already had a check in configure of the actual build. This patch
adds it to the configure of the bindists too.

distrib/configure.ac.in

index ec2ea33..44a5517 100644 (file)
@@ -81,6 +81,25 @@ AC_SUBST(CONF_LD_OPTS)
 AC_CONFIG_FILES(extra-gcc-opts mk/config.mk mk/install.mk)
 AC_OUTPUT
 
+# We get caught by
+#     http://savannah.gnu.org/bugs/index.php?1516
+#     $(eval ...) inside conditionals causes errors
+# with make 3.80, so warn the user if it looks like they're about to
+# try to use it.
+# We would use "grep -q" here, but Solaris's grep doesn't support it.
+checkMake380() {
+    if $1 --version 2>&1 | head -1 | grep 'GNU Make 3\.80' > /dev/null
+    then
+        echo
+        echo "WARNING: It looks like \"$1\" is GNU make 3.80."
+        echo "This version cannot be used to build GHC."
+        echo "Please use GNU make >= 3.81."
+    fi
+}
+
+checkMake380 make
+checkMake380 gmake
+
 echo "****************************************************"
 echo "Configuration done, ready to 'make install'"
 echo "(see README and INSTALL files for more info.)"