# Check whether this GHC has editline installed
FP_GHC_HAS_EDITLINE
+# Dummy arguments to print help for --with-editline-* arguments.
+# Those are actually passed to the editline package's configure script
+# via the CONFIGURE_ARGS variable in mk/config.mk
+AC_ARG_WITH(dummy-editline-includes,
+ [AC_HELP_STRING([--with-editline-includes],
+ [directory containing editline/editline.h or editline/readline.h])],
+ [],
+ [])
+
+AC_ARG_WITH(dummy-editline-libraries,
+ [AC_HELP_STRING([--with-editline-libraries],
+ [directory containing the editline library])],
+ [],
+ [])
+
+
AC_PATH_PROGS(NHC,nhc nhc98)
AC_PATH_PROG(HBC,hbc)
AC_CONFIG_FILES([mk/config.mk compiler/ghc.cabal ghc/ghc-bin.cabal ghc.spec extra-gcc-opts docs/users_guide/ug-book.xml])
AC_CONFIG_COMMANDS([mk/stamp-h],[echo timestamp > mk/stamp-h])
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.
+checkMake380() {
+ if $1 --version 2>&1 | head -1 | grep -q 'GNU Make 3\.80'
+ 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
+