X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=distrib%2Fconfigure-bin.in;h=bd5882b42acd1dd43213af0c1ec31388656a474e;hb=b123b6eba6727deacb69abc6589bbe6cee2f3c81;hp=9a6aec2794a65606f821d81cddf161952eb33270;hpb=3b5c5b4df499fe80e9c60fb84d960842fc30f43a;p=ghc-hetmet.git

diff --git a/distrib/configure-bin.in b/distrib/configure-bin.in
index 9a6aec2..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,10 +40,12 @@ 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*)
@@ -49,9 +55,9 @@ 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 to
-	# arrange for good things to happen.
-	CFLAGS="-mno-cygwin $CFLAGS"
+	# 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)
@@ -133,6 +139,6 @@ 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 "****************************************************"