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
{-# OPTIONS -#include "hschooks.h" #-}
-----------------------------------------------------------------------------
{-# 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 $
machdepCCOpts
| prefixMatch "alpha" cTARGETPLATFORM
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.
-- 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.