[project @ 2001-05-16 09:55:27 by rrt]

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

diff --git a/distrib/configure-bin.in b/distrib/configure-bin.in
index 2b2672f..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,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 "****************************************************"