HostOS_CPP='cygwin32'
exeext='.exe'
;;
+i[[3456]]86-*-mingw32*)
+ HostPlatform=i386-unknown-mingw32 # hack again
+ TargetPlatform=i386-unknown-mingw32
+ BuildPlatform=i386-unknown-mingw32
+ HostPlatform_CPP='i386_unknown_mingw32'
+ HostArch_CPP='i386'
+ HostVendor_CPP='unknown'
+ HostOS_CPP='mingw32'
+ exeext='.exe'
+ # We assume you're using mingw32 via the gcc that comes
+ # with cygwin, and not the native port, so let's augment
+ # the gcc command-line used here with -mno-cygwin to
+ # arrange for good things to happen.
+ CFLAGS="-mno-cygwin $CFLAGS"
+ ;;
m68k-next-nextstep2)
HostPlatform_CPP='m68k_next_nextstep2'
HostArch_CPP='m68k'
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 --------------------------------------------------------------
AC_STRUCT_TIMEZONE
dnl ** what's the type of timezone?
+FPTOOLS_HAVE_TIMEZONE
FPTOOLS_TYPE_TIMEZONE
dnl ** do we have altzone?