[project @ 2001-10-10 17:17:44 by ken]
authorken <unknown>
Wed, 10 Oct 2001 17:17:44 +0000 (17:17 +0000)
committerken <unknown>
Wed, 10 Oct 2001 17:17:44 +0000 (17:17 +0000)
Pass the "-mieee" flag to gcc, so that we get IEEE floating-point.
(Fixed: pass the flag all the time, not just when compiling HC files.)
MERGE TO STABLE

ghc/compiler/main/DriverFlags.hs

index 461a70d..1785f16 100644 (file)
@@ -1,7 +1,7 @@
 {-# OPTIONS -#include "hschooks.h" #-}
 
 -----------------------------------------------------------------------------
--- $Id: DriverFlags.hs,v 1.74 2001/10/08 13:24:53 simonmar Exp $
+-- $Id: DriverFlags.hs,v 1.75 2001/10/10 17:17:44 ken Exp $
 --
 -- Driver flags
 --
@@ -487,7 +487,7 @@ buildStaticHscOpts = do
 
 machdepCCOpts 
    | prefixMatch "alpha"   cTARGETPLATFORM  
-       = return ( ["-static", "-w"], ["-mieee"] )
+       = 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.