X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=distrib%2Fconfigure-bin.in;h=bd5882b42acd1dd43213af0c1ec31388656a474e;hp=2b2672f6ebbac81ced9409b30130f28107d84248;hb=3999eb59c7cd6519be0a7b558b2909caf1259b37;hpb=42b29bf991409fe8987e34478901022000cb7f54

diff --git a/distrib/configure-bin.in b/distrib/configure-bin.in
index 2b2672f..bd5882b 100644
--- a/distrib/configure-bin.in
+++ b/distrib/configure-bin.in
@@ -28,6 +28,10 @@ alpha-dec-osf[[12]]*)
 	TargetPlatform=alpha-dec-osf1;;
 alpha-dec-osf[[34]]*)
 	TargetPlatform=alpha-dec-osf3;;
+alpha-unknown-linux)
+	TargetPlatform=alpha-unknown-linux;;
+alpha-unknown-freebsd*)
+	TargetPlatform=alpha-unknown-freebsd;;
 hppa1.1-hp-hpux*)
 	TargetPlatform=hppa1.1-hp-hpux;;
 i[[3456]]86-*-linuxaout*)
@@ -36,15 +40,26 @@ i[[3456]]86-*-linux*)
 	TargetPlatform=i386-unknown-linux;;
 i[[3456]]86-*-freebsd2*)
 	TargetPlatform=i386-unknown-freebsd2;;
-i[[3456]]86-*-freebsd3*)
-	TargetPlatform=i386-unknown-freebsd3;;
+i[[3456]]86-*-freebsd[[3-9]]*)
+	TargetPlatform=i386-unknown-freebsd;;
 i[[3456]]86-*-netbsd*)
 	TargetPlatform=i386-unknown-netbsd;;
+i[[3456]]86-*-openbsd*)
+	TargetPlatform=i386-unknown-openbsd;;
 i[[3456]]86-*-solaris2*)
 	TargetPlatform=i386-unknown-solaris2;;
 i[[3456]]86-*-cygwin32*)
 	exeext='.exe'
 	TargetPlatform=i386-unknown-cygwin32;;
+i[[3456]]86-*-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 -mwin32
+	# to arrange for good things to happen.
+	CFLAGS="-mno-cygwin -mwin32 $CFLAGS"
+	TargetPlatform=i386-unknown-mingw32
+	;;
 m68k-next-nextstep2)
 	TargetPlatform=m68k-next-nextstep2;;
 m68k-next-nextstep3)
@@ -118,13 +133,12 @@ dnl ** How to invoke cpp directly **
 AC_PROG_CC
 FPTOOLS_HAVE_GCC
 AC_PROG_CPP
-FPTOOLS_PROG_GNUCPP
 
 #
 AC_OUTPUT(Makefile)
 
 echo "****************************************************"
 echo "Configuration done, ready to either 'make install'"
-echo "or 'make in-place', followed by 'make install-docs'."
+echo "or 'make in-place'."
 echo "(see README and INSTALL files for more info.)"
 echo "****************************************************"