+dnl --------------------------------------------------------------
+dnl * Project specific configuration options
+dnl --------------------------------------------------------------
+dnl What follows is a bunch of options that can either be configured
+dnl through command line options to the configure script or by
+dnl supplying defns in the build tree's mk/build.mk. Having the option to
+dnl use either is considered a Feature.
+
+dnl ** What command to use to compile compiler sources ?
+dnl --------------------------------------------------------------
+AC_ARG_WITH(ghc-hc,
+[ --with-ghc-hc=<haskell compiler>
+ Use a command different from 'ghc-2.10' to compile up the GHC compiler sources.
+ (no claims currently made that this will work with a compiler other than a
+ recent version of GHC, but you could always try...)
+],
+[WithGhcHc="$withval"],
+[WithGhcHc="ghc"]
+)
+AC_SUBST(WithGhcHc)
+
+dnl ** Which gcc to use?
+dnl --------------------------------------------------------------
+AC_ARG_WITH(gcc,
+[ --with-gcc=<gcc command>
+ Use a different command instead of 'gcc' for the GNU C compiler.
+],
+[WhatGccIsCalled="$withval"],
+[WhatGccIsCalled="gcc"]
+)
+AC_SUBST(WhatGccIsCalled)
+
+dnl ** Booting from .hc files?
+dnl --------------------------------------------------------------
+AC_ARG_ENABLE(hc-boot,
+[ --enable-hc-boot
+ Boot the Glasgow Haskell Compiler from intermediate .hc files.
+ (This option is mostly of interest to porters.)
+],
+[BootingFromHc=YES],
+[BootingFromHc=NO]
+)
+AC_SUBST(BootingFromHc)
+
+
+dnl ** Enable the construction of Win32 DLLs?
+dnl --------------------------------------------------------------
+AC_ARG_ENABLE(win32-dlls,
+[ --enable-win32-dlls
+ If on a Win32 platform running mingw32/cygwin, enable the
+ construction of DLLs containing ghc-compiled code.
+],
+[
+case $HostOS_CPP in
+cygwin32) ;;
+mingw32) ;;
+*) echo "Unrecognised win32 platform: $HostPlatform"
+ exit 1
+ ;;
+esac
+EnableWin32DLLs=YES
+],
+[EnableWin32DLLs=NO]
+)
+AC_SUBST(EnableWin32DLLs)
+if test x"$EnableWin32DLLs" = "xYES" ; then
+ AC_DEFINE(HAVE_WIN32_DLL_SUPPORT)
+fi
+
+dnl --------------------------------------------------------------
+dnl End of configure script option section
+dnl --------------------------------------------------------------
+
+
+dnl --------------------------------------------------------------
+dnl * General configuration checks
+dnl --------------------------------------------------------------