[project @ 2001-07-23 22:22:58 by ken]

[ghc-hetmet.git] / distrib / configure-bin.in

diff --git a/distrib/configure-bin.in b/distrib/configure-bin.in
index 9a6aec2..bd5882b 100644 (file)
--- 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 "****************************************************"