[project @ 2001-09-25 18:08:47 by ken]
authorken <unknown>
Tue, 25 Sep 2001 18:08:48 +0000 (18:08 +0000)
committerken <unknown>
Tue, 25 Sep 2001 18:08:48 +0000 (18:08 +0000)
Pass the "-mieee" flag to gcc, so that we get IEEE floating-point.
MERGE TO STABLE

ghc/compiler/main/DriverFlags.hs
mk/bootstrap.mk

index 94db1a4..b696abe 100644 (file)
@@ -1,7 +1,7 @@
 {-# OPTIONS -#include "hschooks.h" #-}
 
 -----------------------------------------------------------------------------
--- $Id: DriverFlags.hs,v 1.71 2001/09/23 21:29:35 ken Exp $
+-- $Id: DriverFlags.hs,v 1.72 2001/09/25 18:08:47 ken Exp $
 --
 -- Driver flags
 --
@@ -485,7 +485,7 @@ buildStaticHscOpts = do
 
 machdepCCOpts 
    | prefixMatch "alpha"   cTARGETPLATFORM  
-       = return ( ["-static", "-w"], [] )
+       = return ( ["-static", "-w"], ["-mieee"] )
        -- For now, to suppress the gcc warning "call-clobbered
        -- register used for global register variable", we simply
        -- disable all warnings altogether using the -w flag. Oh well.
index 639951f..cbd6041 100644 (file)
@@ -1,5 +1,5 @@
 # -----------------------------------------------------------------------------
-# $Id: bootstrap.mk,v 1.16 2001/09/25 13:00:41 simonmar Exp $
+# $Id: bootstrap.mk,v 1.17 2001/09/25 18:08:48 ken Exp $
 #
 # Makefile rules for booting from .hc files without a driver.
 #
@@ -50,7 +50,7 @@ endif
 
 ifeq "$(alpha_TARGET_ARCH)" "1"
 PLATFORM_CC_OPTS += -static -w
-PLATFORM_HC_BOOT_CC_OPTS +=
+PLATFORM_HC_BOOT_CC_OPTS += -mieee
 endif
 
 ifeq "$(sparc_TARGET_ARCH)" "1"