More build system changes; ghc-pkg is now built with Cabal
[ghc-hetmet.git] / compiler / main / SysTools.lhs
index 4e5c583..c418789 100644 (file)
 -----------------------------------------------------------------------------
 
 \begin{code}
 -----------------------------------------------------------------------------
 
 \begin{code}
+{-# OPTIONS -fno-cse #-}
+-- -fno-cse is needed for GLOBAL_VAR's to behave properly
+
 module SysTools (
 module SysTools (
-       -- Initialisation
-       initSysTools,
-
-       getTopDir,              -- IO String    -- The value of $topdir
-       getPackageConfigPath,   -- IO String    -- Where package.conf is
-        getUsageMsgPaths,       -- IO (String,String)
-
-       -- Interface to system tools
-       runUnlit, runCpp, runCc, -- [Option] -> IO ()
-       runPp,                   -- [Option] -> IO ()
-       runMangle, runSplit,     -- [Option] -> IO ()
-       runAs, runLink,          -- [Option] -> IO ()
-       runMkDLL,
-
-       touch,                  -- String -> String -> IO ()
-       copy,                   -- String -> String -> String -> IO ()
-       normalisePath,          -- FilePath -> FilePath
-       
-       -- Temporary-file management
-       setTmpDir,
-       newTempName,
-       cleanTempFiles, cleanTempFilesExcept,
-       addFilesToClean,
-
-       -- System interface
-       system,                 -- String -> IO ExitCode
-
-       -- Misc
-       getSysMan,              -- IO String    Parallel system only
-       
-       Option(..)
+        -- Initialisation
+        initSysTools,
+
+        -- Interface to system tools
+        runUnlit, runCpp, runCc, -- [Option] -> IO ()
+        runPp,                   -- [Option] -> IO ()
+        runMangle, runSplit,     -- [Option] -> IO ()
+        runAs, runLink,          -- [Option] -> IO ()
+        runMkDLL,
+        runWindres,
+
+        touch,                  -- String -> String -> IO ()
+        copy,
+        copyWithHeader,
+        getExtraViaCOpts,
+
+        -- Temporary-file management
+        setTmpDir,
+        newTempName,
+        cleanTempDirs, cleanTempFiles, cleanTempFilesExcept,
+        addFilesToClean,
+
+        Option(..)
 
  ) where
 
 #include "HsVersions.h"
 
 
  ) where
 
 #include "HsVersions.h"
 
-import DriverPhases     ( isHaskellUserSrcFilename )
+import DriverPhases
 import Config
 import Outputable
 import Config
 import Outputable
-import ErrUtils                ( putMsg, debugTraceMsg, showPass, Severity(..), Messages )
-import Panic           ( GhcException(..) )
-import Util            ( Suffix, global, notNull, consIORef, joinFileName,
-                         normalisePath, pgmPath, platformPath, joinFileExt )
-import DynFlags                ( DynFlags(..), DynFlag(..), dopt, Option(..),
-                         setTmpDir, defaultDynFlags )
-
-import EXCEPTION       ( throwDyn, finally )
-import DATA_IOREF      ( IORef, readIORef, writeIORef )
-import DATA_INT
-    
-import Monad           ( when, unless )
-import System          ( ExitCode(..), getEnv, system )
-import IO              ( try, catch, hGetContents,
-                         openFile, hPutStr, hClose, hFlush, IOMode(..), 
-                         stderr, ioError, isDoesNotExistError )
-import Directory       ( doesFileExist, removeFile )
-import Maybe           ( isJust )
-import List             ( partition )
-
--- GHC <= 4.08 didn't have rawSystem, and runs into problems with long command
--- lines on mingw32, so we disallow it now.
-#if __GLASGOW_HASKELL__ < 500
-#error GHC >= 5.00 is required for bootstrapping GHC
-#endif
+import ErrUtils
+import Panic
+import Util
+import DynFlags
+import FiniteMap
+
+import Control.Exception
+import Data.IORef
+import Control.Monad
+import System.Exit
+import System.Environment
+import System.FilePath
+import System.IO
+import System.IO.Error as IO
+import System.Directory
+import Data.Char
+import Data.Maybe
+import Data.List
 
 #ifndef mingw32_HOST_OS
 
 #ifndef mingw32_HOST_OS
-#if __GLASGOW_HASKELL__ > 504
 import qualified System.Posix.Internals
 import qualified System.Posix.Internals
-#else
-import qualified Posix
-#endif
 #else /* Must be Win32 */
 #else /* Must be Win32 */
-import List            ( isPrefixOf )
-import Util            ( dropList )
 import Foreign
 import Foreign
-import CString         ( CString, peekCString )
+import CString          ( CString, peekCString )
 #endif
 
 #endif
 
-import Text.Regex
-
-#if __GLASGOW_HASKELL__ < 603
--- rawSystem comes from libghccompat.a in stage1
-import Compat.RawSystem        ( rawSystem )
-import GHC.IOBase       ( IOErrorType(..) ) 
-import System.IO.Error  ( ioeGetErrorType )
-#else
-import System.Process  ( runInteractiveProcess, getProcessExitCode )
-import System.IO        ( hSetBuffering, hGetLine, BufferMode(..) )
-import Control.Concurrent( forkIO, newChan, readChan, writeChan )
-import Data.Char        ( isSpace )
-import FastString       ( mkFastString )
+import System.Process   ( runInteractiveProcess, getProcessExitCode )
+import Control.Concurrent
+import FastString
 import SrcLoc           ( SrcLoc, mkSrcLoc, noSrcSpan, mkSrcSpan )
 import SrcLoc           ( SrcLoc, mkSrcLoc, noSrcSpan, mkSrcSpan )
-#endif
 \end{code}
 
 
 \end{code}
 
 
-               The configuration story
-               ~~~~~~~~~~~~~~~~~~~~~~~
+                The configuration story
+                ~~~~~~~~~~~~~~~~~~~~~~~
 
 GHC needs various support files (library packages, RTS etc), plus
 various auxiliary programs (cp, gcc, etc).  It finds these in one
 
 GHC needs various support files (library packages, RTS etc), plus
 various auxiliary programs (cp, gcc, etc).  It finds these in one
@@ -117,7 +88,7 @@ of two places:
 
 * When running *in-place* in a build tree, GHC finds most of this support
   stuff in the build tree.  The path to the build tree is, again passed
 
 * When running *in-place* in a build tree, GHC finds most of this support
   stuff in the build tree.  The path to the build tree is, again passed
-  to GHC via -B. 
+  to GHC via -B.
 
 GHC tells which of the two is the case by seeing whether package.conf
 is in TopDir [installed] or in TopDir/ghc/driver [inplace] (what a hack).
 
 GHC tells which of the two is the case by seeing whether package.conf
 is in TopDir [installed] or in TopDir/ghc/driver [inplace] (what a hack).
@@ -130,16 +101,16 @@ file containing variables whose value is figured out by the build system.
 
 Config.hs contains two sorts of things
 
 
 Config.hs contains two sorts of things
 
-  cGCC,        The *names* of the programs
-  cCPP           e.g.  cGCC = gcc
-  cUNLIT               cCPP = gcc -E
-  etc          They do *not* include paths
-                               
+  cGCC,         The *names* of the programs
+  cCPP            e.g.  cGCC = gcc
+  cUNLIT                cCPP = gcc -E
+  etc           They do *not* include paths
+
 
   cUNLIT_DIR_REL   The *path* to the directory containing unlit, split etc
   cSPLIT_DIR_REL   *relative* to the root of the build tree,
 
   cUNLIT_DIR_REL   The *path* to the directory containing unlit, split etc
   cSPLIT_DIR_REL   *relative* to the root of the build tree,
-                  for use when running *in-place* in a build tree (only)
-               
+                   for use when running *in-place* in a build tree (only)
+
 
 
 ---------------------------------------------
 
 
 ---------------------------------------------
@@ -162,254 +133,189 @@ Package
 Which would have the advantage that we get to collect together in one
 place the path-specific package stuff with the path-specific tool
 stuff.
 Which would have the advantage that we get to collect together in one
 place the path-specific package stuff with the path-specific tool
 stuff.
-               End of NOTES
+                End of NOTES
 ---------------------------------------------
 
 ---------------------------------------------
 
-
 %************************************************************************
 %************************************************************************
-%*                                                                     *
-\subsection{Global variables to contain system programs}
-%*                                                                     *
-%************************************************************************
-
-All these pathnames are maintained IN THE NATIVE FORMAT OF THE HOST MACHINE.
-(See remarks under pathnames below)
-
-\begin{code}
-GLOBAL_VAR(v_Pgm_T,    error "pgm_T",    String)       -- touch
-GLOBAL_VAR(v_Pgm_CP,   error "pgm_CP",          String)        -- cp
-
-GLOBAL_VAR(v_Path_package_config, error "path_package_config", String)
-GLOBAL_VAR(v_Path_usages,        error "ghc_usage.txt",       (String,String))
-
-GLOBAL_VAR(v_TopDir,   error "TopDir", String)         -- -B<dir>
-
--- Parallel system only
-GLOBAL_VAR(v_Pgm_sysman, error "pgm_sysman", String)   -- system manager
-
--- ways to get at some of these variables from outside this module
-getPackageConfigPath = readIORef v_Path_package_config
-getTopDir           = readIORef v_TopDir
-\end{code}
-
-
-%************************************************************************
-%*                                                                     *
+%*                                                                      *
 \subsection{Initialisation}
 \subsection{Initialisation}
-%*                                                                     *
+%*                                                                      *
 %************************************************************************
 
 \begin{code}
 %************************************************************************
 
 \begin{code}
-initSysTools :: Maybe String   -- Maybe TopDir path (without the '-B' prefix)
+initSysTools :: Maybe String    -- Maybe TopDir path (without the '-B' prefix)
 
 
-            -> DynFlags
-            -> IO DynFlags     -- Set all the mutable variables above, holding 
-                               --      (a) the system programs
-                               --      (b) the package-config file
-                               --      (c) the GHC usage message
+             -> DynFlags
+             -> IO DynFlags     -- Set all the mutable variables above, holding
+                                --      (a) the system programs
+                                --      (b) the package-config file
+                                --      (c) the GHC usage message
 
 
 
 
-initSysTools mbMinusB dflags
+initSysTools mbMinusB dflags0
   = do  { (am_installed, top_dir) <- findTopDir mbMinusB
   = do  { (am_installed, top_dir) <- findTopDir mbMinusB
-       ; writeIORef v_TopDir top_dir
-               -- top_dir
-               --      for "installed" this is the root of GHC's support files
-               --      for "in-place" it is the root of the build tree
-               -- NB: top_dir is assumed to be in standard Unix format '/' separated
-
-       ; let installed, installed_bin :: FilePath -> FilePath
-              installed_bin pgm   =  pgmPath top_dir pgm
-             installed     file  =  pgmPath top_dir file
-             inplace dir   pgm   =  pgmPath (top_dir `joinFileName` 
-                                               cPROJECT_DIR `joinFileName` dir) pgm
-
-       ; let pkgconfig_path
-               | am_installed = installed "package.conf"
-               | otherwise    = inplace cGHC_DRIVER_DIR_REL "package.conf.inplace"
-
-             ghc_usage_msg_path
-               | am_installed = installed "ghc-usage.txt"
-               | otherwise    = inplace cGHC_DRIVER_DIR_REL "ghc-usage.txt"
-
-             ghci_usage_msg_path
-               | am_installed = installed "ghci-usage.txt"
-               | otherwise    = inplace cGHC_DRIVER_DIR_REL "ghci-usage.txt"
-
-               -- For all systems, unlit, split, mangle are GHC utilities
-               -- architecture-specific stuff is done when building Config.hs
-             unlit_path
-               | am_installed = installed_bin cGHC_UNLIT_PGM
-               | otherwise    = inplace cGHC_UNLIT_DIR_REL cGHC_UNLIT_PGM
-
-               -- split and mangle are Perl scripts
-             split_script
-               | am_installed = installed_bin cGHC_SPLIT_PGM
-               | otherwise    = inplace cGHC_SPLIT_DIR_REL cGHC_SPLIT_PGM
-
-             mangle_script
-               | am_installed = installed_bin cGHC_MANGLER_PGM
-               | otherwise    = inplace cGHC_MANGLER_DIR_REL cGHC_MANGLER_PGM
-
-       ; let dflags0 = defaultDynFlags
-#ifndef mingw32_HOST_OS
-       -- check whether TMPDIR is set in the environment
-       ; e_tmpdir <- IO.try (getEnv "TMPDIR") -- fails if not set
-#else
-         -- On Win32, consult GetTempPath() for a temp dir.
-         --  => it first tries TMP, TEMP, then finally the
-         --   Windows directory(!). The directory is in short-path
-         --   form.
-       ; e_tmpdir <- 
-            IO.try (do
-               let len = (2048::Int)
-               buf  <- mallocArray len
-               ret  <- getTempPath len buf
-               if ret == 0 then do
-                     -- failed, consult TMPDIR.
-                    free buf
-                    getEnv "TMPDIR"
-                 else do
-                    s <- peekCString buf
-                    free buf
-                    return s)
-#endif
-        ; let dflags1 = case e_tmpdir of
-                         Left _  -> dflags0
-                         Right d -> setTmpDir d dflags0
-
-       -- Check that the package config exists
-       ; config_exists <- doesFileExist pkgconfig_path
-       ; when (not config_exists) $
-            throwDyn (InstallationError 
-                        ("Can't find package.conf as " ++ pkgconfig_path))
-
-#if defined(mingw32_HOST_OS)
-       --              WINDOWS-SPECIFIC STUFF
-       -- On Windows, gcc and friends are distributed with GHC,
-       --      so when "installed" we look in TopDir/bin
-       -- When "in-place" we look wherever the build-time configure 
-       --      script found them
-       -- When "install" we tell gcc where its specs file + exes are (-B)
-       --      and also some places to pick up include files.  We need
-       --      to be careful to put all necessary exes in the -B place
-       --      (as, ld, cc1, etc) since if they don't get found there, gcc
-       --      then tries to run unadorned "as", "ld", etc, and will
-       --      pick up whatever happens to be lying around in the path,
-       --      possibly including those from a cygwin install on the target,
-       --      which is exactly what we're trying to avoid.
-       ; let gcc_b_arg = Option ("-B" ++ installed "gcc-lib/")
-             (gcc_prog,gcc_args)
-               | am_installed = (installed_bin "gcc", [gcc_b_arg])
-               | otherwise    = (cGCC, [])
-               -- The trailing "/" is absolutely essential; gcc seems
-               -- to construct file names simply by concatenating to
-               -- this -B path with no extra slash We use "/" rather
-               -- than "\\" because otherwise "\\\" is mangled
-               -- later on; although gcc_args are in NATIVE format,
-               -- gcc can cope
-               --      (see comments with declarations of global variables)
-               --
-               -- The quotes round the -B argument are in case TopDir
-               -- has spaces in it
-
-             perl_path | am_installed = installed_bin cGHC_PERL
-                       | otherwise    = cGHC_PERL
-
-       -- 'touch' is a GHC util for Windows, and similarly unlit, mangle
-       ; let touch_path  | am_installed = installed_bin cGHC_TOUCHY_PGM
-                         | otherwise    = inplace cGHC_TOUCHY_DIR_REL cGHC_TOUCHY_PGM
-
-       -- On Win32 we don't want to rely on #!/bin/perl, so we prepend 
-       -- a call to Perl to get the invocation of split and mangle
-       ; let (split_prog,  split_args)  = (perl_path, [Option split_script])
-             (mangle_prog, mangle_args) = (perl_path, [Option mangle_script])
-
-       ; let (mkdll_prog, mkdll_args)
-               | am_installed = 
-                   (pgmPath (installed "gcc-lib/") cMKDLL,
-                    [ Option "--dlltool-name",
-                      Option (pgmPath (installed "gcc-lib/") "dlltool"),
-                      Option "--driver-name",
-                      Option gcc_prog, gcc_b_arg ])
-               | otherwise    = (cMKDLL, [])
-#else
-       --              UNIX-SPECIFIC STUFF
-       -- On Unix, the "standard" tools are assumed to be
-       -- in the same place whether we are running "in-place" or "installed"
-       -- That place is wherever the build-time configure script found them.
-       ; let   gcc_prog   = cGCC
-               gcc_args   = []
-               touch_path = "touch"
-               mkdll_prog = panic "Can't build DLLs on a non-Win32 system"
-               mkdll_args = []
-
-       -- On Unix, scripts are invoked using the '#!' method.  Binary
-       -- installations of GHC on Unix place the correct line on the front
-       -- of the script at installation time, so we don't want to wire-in
-       -- our knowledge of $(PERL) on the host system here.
-       ; let (split_prog,  split_args)  = (split_script,  [])
-             (mangle_prog, mangle_args) = (mangle_script, [])
-#endif
-
-       -- cpp is derived from gcc on all platforms
+                -- top_dir
+                --      for "installed" this is the root of GHC's support files
+                --      for "in-place" it is the root of the build tree
+                -- NB: top_dir is assumed to be in standard Unix
+                -- format, '/' separated
+
+        ; let installed, installed_bin :: FilePath -> FilePath
+              installed_bin pgm  = top_dir </> pgm
+              installed     file = top_dir </> file
+              real_top_dir
+               | isWindowsHost = top_dir </> ".." </> ".."
+               | otherwise     = top_dir </> ".."
+              inplace dir   pgm  = real_top_dir </> dir </> pgm
+
+        ; let pkgconfig_path
+                | am_installed = installed "package.conf"
+                | otherwise    = inplace "inplace-datadir" "package.conf"
+
+              ghc_usage_msg_path
+                | am_installed = installed "ghc-usage.txt"
+                | otherwise    = inplace cGHC_DRIVER_DIR_REL "ghc-usage.txt"
+
+              ghci_usage_msg_path
+                | am_installed = installed "ghci-usage.txt"
+                | otherwise    = inplace cGHC_DRIVER_DIR_REL "ghci-usage.txt"
+
+                -- For all systems, unlit, split, mangle are GHC utilities
+                -- architecture-specific stuff is done when building Config.hs
+              unlit_path
+                | am_installed = installed_bin cGHC_UNLIT_PGM
+                | otherwise    = inplace cGHC_UNLIT_DIR_REL cGHC_UNLIT_PGM
+
+                -- split and mangle are Perl scripts
+              split_script
+                | am_installed = installed_bin cGHC_SPLIT_PGM
+                | otherwise    = inplace cGHC_SPLIT_DIR_REL cGHC_SPLIT_PGM
+
+              mangle_script
+                | am_installed = installed_bin cGHC_MANGLER_PGM
+                | otherwise    = inplace cGHC_MANGLER_DIR_REL cGHC_MANGLER_PGM
+
+              windres_path
+                | am_installed = installed_bin "bin/windres"
+                | otherwise    = "windres"
+
+        ; tmpdir <- getTemporaryDirectory
+        ; let dflags1 = setTmpDir tmpdir dflags0
+
+        -- Check that the package config exists
+        ; config_exists <- doesFileExist pkgconfig_path
+        ; when (not config_exists) $
+             throwDyn (InstallationError
+                         ("Can't find package.conf as " ++ pkgconfig_path))
+
+        -- On Windows, gcc and friends are distributed with GHC,
+        --      so when "installed" we look in TopDir/bin
+        -- When "in-place", or when not on Windows, we look wherever
+        --      the build-time configure script found them
+        ; let
+              -- The trailing "/" is absolutely essential; gcc seems
+              -- to construct file names simply by concatenating to
+              -- this -B path with no extra slash We use "/" rather
+              -- than "\\" because otherwise "\\\" is mangled
+              -- later on; although gcc_args are in NATIVE format,
+              -- gcc can cope
+              --      (see comments with declarations of global variables)
+              gcc_b_arg = Option ("-B" ++ installed "gcc-lib/")
+              (gcc_prog,gcc_args)
+                | isWindowsHost && am_installed
+                    -- We tell gcc where its specs file + exes are (-B)
+                    -- and also some places to pick up include files.  We need
+                    -- to be careful to put all necessary exes in the -B place
+                    -- (as, ld, cc1, etc) since if they don't get found there,
+                    -- gcc then tries to run unadorned "as", "ld", etc, and
+                    -- will pick up whatever happens to be lying around in
+                    -- the path, possibly including those from a cygwin
+                    -- install on the target, which is exactly what we're
+                    -- trying to avoid.
+                    = (installed_bin "gcc", [gcc_b_arg])
+                | otherwise = (cGCC, [])
+              perl_path
+                | isWindowsHost && am_installed = installed_bin cGHC_PERL
+                | otherwise = cGHC_PERL
+              -- 'touch' is a GHC util for Windows
+              touch_path
+                | isWindowsHost
+                    = if am_installed
+                      then installed_bin cGHC_TOUCHY_PGM
+                      else inplace cGHC_TOUCHY_DIR_REL cGHC_TOUCHY_PGM
+                | otherwise = "touch"
+              -- On Win32 we don't want to rely on #!/bin/perl, so we prepend
+              -- a call to Perl to get the invocation of split and mangle.
+              -- On Unix, scripts are invoked using the '#!' method.  Binary
+              -- installations of GHC on Unix place the correct line on the
+              -- front of the script at installation time, so we don't want
+              -- to wire-in our knowledge of $(PERL) on the host system here.
+              (split_prog,  split_args)
+                | isWindowsHost = (perl_path,    [Option split_script])
+                | otherwise     = (split_script, [])
+              (mangle_prog, mangle_args)
+                | isWindowsHost = (perl_path,   [Option mangle_script])
+                | otherwise     = (mangle_script, [])
+              (mkdll_prog, mkdll_args)
+                | not isWindowsHost
+                    = panic "Can't build DLLs on a non-Win32 system"
+                | am_installed =
+                    (installed "gcc-lib/" </> cMKDLL,
+                     [ Option "--dlltool-name",
+                       Option (installed "gcc-lib/" </> "dlltool"),
+                       Option "--driver-name",
+                       Option gcc_prog, gcc_b_arg ])
+                | otherwise    = (cMKDLL, [])
+
+        -- cpp is derived from gcc on all platforms
         -- HACK, see setPgmP below. We keep 'words' here to remember to fix
         -- Config.hs one day.
         -- HACK, see setPgmP below. We keep 'words' here to remember to fix
         -- Config.hs one day.
-        ; let cpp_path  = (gcc_prog, gcc_args ++ 
-                          (Option "-E"):(map Option (words cRAWCPP_FLAGS)))
-
-       -- For all systems, copy and remove are provided by the host
-       -- system; architecture-specific stuff is done when building Config.hs
-       ; let   cp_path = cGHC_CP
-       
-       -- Other things being equal, as and ld are simply gcc
-       ; let   (as_prog,as_args)  = (gcc_prog,gcc_args)
-               (ld_prog,ld_args)  = (gcc_prog,gcc_args)
-
-       -- Initialise the global vars
-       ; writeIORef v_Path_package_config pkgconfig_path
-       ; writeIORef v_Path_usages         (ghc_usage_msg_path,
-                                           ghci_usage_msg_path)
-
-       ; writeIORef v_Pgm_sysman          (top_dir ++ "/ghc/rts/parallel/SysMan")
-               -- Hans: this isn't right in general, but you can 
-               -- elaborate it in the same way as the others
-
-       ; writeIORef v_Pgm_T               touch_path
-       ; writeIORef v_Pgm_CP              cp_path
-
-       ; return dflags1{
-                       pgm_L   = unlit_path,
-                       pgm_P   = cpp_path,
-                       pgm_F   = "",
-                       pgm_c   = (gcc_prog,gcc_args),
-                       pgm_m   = (mangle_prog,mangle_args),
-                       pgm_s   = (split_prog,split_args),
-                       pgm_a   = (as_prog,as_args),
-                       pgm_l   = (ld_prog,ld_args),
-                       pgm_dll = (mkdll_prog,mkdll_args) }
-       }
-
-#if defined(mingw32_HOST_OS)
-foreign import stdcall unsafe "GetTempPathA" getTempPath :: Int -> CString -> IO Int32
-#endif
+        ; let cpp_path  = (gcc_prog, gcc_args ++
+                           (Option "-E"):(map Option (words cRAWCPP_FLAGS)))
+
+        -- Other things being equal, as and ld are simply gcc
+        ; let   (as_prog,as_args)  = (gcc_prog,gcc_args)
+                (ld_prog,ld_args)  = (gcc_prog,gcc_args)
+
+        ; return dflags1{
+                        ghcUsagePath = ghc_usage_msg_path,
+                        ghciUsagePath = ghci_usage_msg_path,
+                        topDir  = top_dir,
+                        systemPackageConfig = pkgconfig_path,
+                        pgm_L   = unlit_path,
+                        pgm_P   = cpp_path,
+                        pgm_F   = "",
+                        pgm_c   = (gcc_prog,gcc_args),
+                        pgm_m   = (mangle_prog,mangle_args),
+                        pgm_s   = (split_prog,split_args),
+                        pgm_a   = (as_prog,as_args),
+                        pgm_l   = (ld_prog,ld_args),
+                        pgm_dll = (mkdll_prog,mkdll_args),
+                        pgm_T   = touch_path,
+                        pgm_sysman = top_dir ++ "/ghc/rts/parallel/SysMan",
+                        pgm_windres = windres_path
+                        -- Hans: this isn't right in general, but you can
+                        -- elaborate it in the same way as the others
+                }
+        }
 \end{code}
 
 \begin{code}
 -- Find TopDir
 \end{code}
 
 \begin{code}
 -- Find TopDir
---     for "installed" this is the root of GHC's support files
---     for "in-place" it is the root of the build tree
+--      for "installed" this is the root of GHC's support files
+--      for "in-place" it is the root of the build tree
 --
 -- Plan of action:
 -- 1. Set proto_top_dir
 --
 -- Plan of action:
 -- 1. Set proto_top_dir
---     if there is no given TopDir path, get the directory 
---     where GHC is running (only on Windows)
+--      if there is no given TopDir path, get the directory
+--      where GHC is running (only on Windows)
 --
 -- 2. If package.conf exists in proto_top_dir, we are running
 --
 -- 2. If package.conf exists in proto_top_dir, we are running
---     installed; and TopDir = proto_top_dir
+--      installed; and TopDir = proto_top_dir
 --
 -- 3. Otherwise we are running in-place, so
 --
 -- 3. Otherwise we are running in-place, so
---     proto_top_dir will be /...stuff.../ghc/compiler
---     Set TopDir to /...stuff..., which is the root of the build tree
+--      proto_top_dir will be /...stuff.../ghc/compiler
+--      Set TopDir to /...stuff..., which is the root of the build tree
 --
 -- This is very gruesome indeed
 
 --
 -- This is very gruesome indeed
 
@@ -420,18 +326,18 @@ findTopDir :: Maybe String   -- Maybe TopDir path (without the '-B' prefix).
 findTopDir mbMinusB
   = do { top_dir <- get_proto
         -- Discover whether we're running in a build tree or in an installation,
 findTopDir mbMinusB
   = do { top_dir <- get_proto
         -- Discover whether we're running in a build tree or in an installation,
-       -- by looking for the package configuration file.
-       ; am_installed <- doesFileExist (top_dir `joinFileName` "package.conf")
+        -- by looking for a file we use for that purpose
+       ; am_inplace <- doesFileExist (top_dir </> "inplace")
 
 
-       ; return (am_installed, top_dir)
+       ; return (not am_inplace, top_dir)
        }
   where
     -- get_proto returns a Unix-format path (relying on getBaseDir to do so too)
     get_proto = case mbMinusB of
        }
   where
     -- get_proto returns a Unix-format path (relying on getBaseDir to do so too)
     get_proto = case mbMinusB of
-                  Just minusb -> return (normalisePath minusb)
+                  Just minusb -> return (normalise minusb)
                   Nothing
                       -> do maybe_exec_dir <- getBaseDir -- Get directory of executable
                   Nothing
                       -> do maybe_exec_dir <- getBaseDir -- Get directory of executable
-                           case maybe_exec_dir of       -- (only works on Windows; 
+                            case maybe_exec_dir of       -- (only works on Windows;
                                                          --  returns Nothing on Unix)
                               Nothing  -> throwDyn (InstallationError "missing -B<dir> option")
                               Just dir -> return dir
                                                          --  returns Nothing on Unix)
                               Nothing  -> throwDyn (InstallationError "missing -B<dir> option")
                               Just dir -> return dir
@@ -439,238 +345,368 @@ findTopDir mbMinusB
 
 
 %************************************************************************
 
 
 %************************************************************************
-%*                                                                     *
+%*                                                                      *
 \subsection{Running an external program}
 \subsection{Running an external program}
-%*                                                                     *
+%*                                                                      *
 %************************************************************************
 
 
 \begin{code}
 runUnlit :: DynFlags -> [Option] -> IO ()
 %************************************************************************
 
 
 \begin{code}
 runUnlit :: DynFlags -> [Option] -> IO ()
-runUnlit dflags args = do 
+runUnlit dflags args = do
   let p = pgm_L dflags
   runSomething dflags "Literate pre-processor" p args
 
 runCpp :: DynFlags -> [Option] -> IO ()
   let p = pgm_L dflags
   runSomething dflags "Literate pre-processor" p args
 
 runCpp :: DynFlags -> [Option] -> IO ()
-runCpp dflags args =   do 
+runCpp dflags args =   do
   let (p,args0) = pgm_P dflags
   let (p,args0) = pgm_P dflags
-  runSomething dflags "C pre-processor" p (args0 ++ args)
+      args1 = args0 ++ args
+  mb_env <- getGccEnv args1
+  runSomethingFiltered dflags id  "C pre-processor" p args1 mb_env
 
 runPp :: DynFlags -> [Option] -> IO ()
 
 runPp :: DynFlags -> [Option] -> IO ()
-runPp dflags args =   do 
+runPp dflags args =   do
   let p = pgm_F dflags
   runSomething dflags "Haskell pre-processor" p args
 
 runCc :: DynFlags -> [Option] -> IO ()
   let p = pgm_F dflags
   runSomething dflags "Haskell pre-processor" p args
 
 runCc :: DynFlags -> [Option] -> IO ()
-runCc dflags args =   do 
+runCc dflags args =   do
   let (p,args0) = pgm_c dflags
   let (p,args0) = pgm_c dflags
-  runSomethingFiltered dflags cc_filter "C Compiler" p (args0++args)
+      args1 = args0 ++ args
+  mb_env <- getGccEnv args1
+  runSomethingFiltered dflags cc_filter "C Compiler" p args1 mb_env
  where
   -- discard some harmless warnings from gcc that we can't turn off
  where
   -- discard some harmless warnings from gcc that we can't turn off
-  cc_filter str = unlines (do_filter (lines str))
+  cc_filter = unlines . doFilter . lines
+
+  {-
+  gcc gives warnings in chunks like so:
+      In file included from /foo/bar/baz.h:11,
+                       from /foo/bar/baz2.h:22,
+                       from wibble.c:33:
+      /foo/flibble:14: global register variable ...
+      /foo/flibble:15: warning: call-clobbered r...
+  We break it up into its chunks, remove any call-clobbered register
+  warnings from each chunk, and then delete any chunks that we have
+  emptied of warnings.
+  -}
+  doFilter = unChunkWarnings . filterWarnings . chunkWarnings []
+  -- We can't assume that the output will start with an "In file inc..."
+  -- line, so we start off expecting a list of warnings rather than a
+  -- location stack.
+  chunkWarnings :: [String] -- The location stack to use for the next
+                            -- list of warnings
+                -> [String] -- The remaining lines to look at
+                -> [([String], [String])]
+  chunkWarnings loc_stack [] = [(loc_stack, [])]
+  chunkWarnings loc_stack xs
+      = case break loc_stack_start xs of
+        (warnings, lss:xs') ->
+            case span loc_start_continuation xs' of
+            (lsc, xs'') ->
+                (loc_stack, warnings) : chunkWarnings (lss : lsc) xs''
+        _ -> [(loc_stack, xs)]
+
+  filterWarnings :: [([String], [String])] -> [([String], [String])]
+  filterWarnings [] = []
+  -- If the warnings are already empty then we are probably doing
+  -- something wrong, so don't delete anything
+  filterWarnings ((xs, []) : zs) = (xs, []) : filterWarnings zs
+  filterWarnings ((xs, ys) : zs) = case filter wantedWarning ys of
+                                       [] -> filterWarnings zs
+                                       ys' -> (xs, ys') : filterWarnings zs
+
+  unChunkWarnings :: [([String], [String])] -> [String]
+  unChunkWarnings [] = []
+  unChunkWarnings ((xs, ys) : zs) = xs ++ ys ++ unChunkWarnings zs
+
+  loc_stack_start        s = "In file included from " `isPrefixOf` s
+  loc_start_continuation s = "                 from " `isPrefixOf` s
+  wantedWarning w
+   | "warning: call-clobbered register used" `isContainedIn` w = False
+   | otherwise = True
+
+isContainedIn :: String -> String -> Bool
+xs `isContainedIn` ys = any (xs `isPrefixOf`) (tails ys)
+
+-- If the -B<dir> option is set, add <dir> to PATH.  This works around
+-- a bug in gcc on Windows Vista where it can't find its auxiliary
+-- binaries (see bug #1110).
+getGccEnv :: [Option] -> IO (Maybe [(String,String)])
+getGccEnv opts =
+  if null b_dirs
+     then return Nothing
+     else do env <- getEnvironment
+             return (Just (map mangle_path env))
+ where
+  (b_dirs, _) = partitionWith get_b_opt opts
 
 
-  do_filter [] = []
-  do_filter ls@(l:ls')
-      | (w:rest) <- dropWhile (isJust .matchRegex r_from) ls, 
-        isJust (matchRegex r_warn w)
-      = do_filter rest
-      | otherwise
-      = l : do_filter ls'
+  get_b_opt (Option ('-':'B':dir)) = Left dir
+  get_b_opt other = Right other
 
 
-  r_from = mkRegex "from.*:[0-9]+"
-  r_warn = mkRegex "warning: call-clobbered register used"
+  mangle_path (path,paths) | map toUpper path == "PATH"
+        = (path, '\"' : head b_dirs ++ "\";" ++ paths)
+  mangle_path other = other
 
 runMangle :: DynFlags -> [Option] -> IO ()
 
 runMangle :: DynFlags -> [Option] -> IO ()
-runMangle dflags args = do 
+runMangle dflags args = do
   let (p,args0) = pgm_m dflags
   runSomething dflags "Mangler" p (args0++args)
 
 runSplit :: DynFlags -> [Option] -> IO ()
   let (p,args0) = pgm_m dflags
   runSomething dflags "Mangler" p (args0++args)
 
 runSplit :: DynFlags -> [Option] -> IO ()
-runSplit dflags args = do 
+runSplit dflags args = do
   let (p,args0) = pgm_s dflags
   runSomething dflags "Splitter" p (args0++args)
 
 runAs :: DynFlags -> [Option] -> IO ()
   let (p,args0) = pgm_s dflags
   runSomething dflags "Splitter" p (args0++args)
 
 runAs :: DynFlags -> [Option] -> IO ()
-runAs dflags args = do 
+runAs dflags args = do
   let (p,args0) = pgm_a dflags
   let (p,args0) = pgm_a dflags
-  runSomething dflags "Assembler" p (args0++args)
+      args1 = args0 ++ args
+  mb_env <- getGccEnv args1
+  runSomethingFiltered dflags id "Assembler" p args1 mb_env
 
 runLink :: DynFlags -> [Option] -> IO ()
 
 runLink :: DynFlags -> [Option] -> IO ()
-runLink dflags args = do 
+runLink dflags args = do
   let (p,args0) = pgm_l dflags
   let (p,args0) = pgm_l dflags
-  runSomething dflags "Linker" p (args0++args)
+      args1 = args0 ++ args
+  mb_env <- getGccEnv args1
+  runSomethingFiltered dflags id "Linker" p args1 mb_env
 
 runMkDLL :: DynFlags -> [Option] -> IO ()
 runMkDLL dflags args = do
   let (p,args0) = pgm_dll dflags
 
 runMkDLL :: DynFlags -> [Option] -> IO ()
 runMkDLL dflags args = do
   let (p,args0) = pgm_dll dflags
-  runSomething dflags "Make DLL" p (args0++args)
+      args1 = args0 ++ args
+  mb_env <- getGccEnv (args0++args)
+  runSomethingFiltered dflags id "Make DLL" p args1 mb_env
+
+runWindres :: DynFlags -> [Option] -> IO ()
+runWindres dflags args = do
+  let (gcc,gcc_args) = pgm_c dflags
+      windres        = pgm_windres dflags
+  mb_env <- getGccEnv gcc_args
+  runSomethingFiltered dflags id "Windres" windres
+        -- we must tell windres where to find gcc: it might not be on PATH
+        (Option ("--preprocessor=" ++
+                 unwords (map quote (gcc : map showOpt gcc_args ++
+                                     ["-E", "-xc", "-DRC_INVOKED"])))
+        -- -- use-temp-file is required for windres to interpret the
+        -- quoting in the preprocessor arg above correctly.  Without
+        -- this, windres calls the preprocessor with popen, which gets
+        -- the quoting wrong (discovered by experimentation and
+        -- reading the windres sources).  See #1828.
+        : Option "--use-temp-file"
+        : args)
+        -- we must use the PATH workaround here too, since windres invokes gcc
+        mb_env
+  where
+        quote x = '\"' : x ++ "\""
 
 touch :: DynFlags -> String -> String -> IO ()
 
 touch :: DynFlags -> String -> String -> IO ()
-touch dflags purpose arg =  do 
-  p <- readIORef v_Pgm_T
-  runSomething dflags purpose p [FileOption "" arg]
+touch dflags purpose arg =
+  runSomething dflags purpose (pgm_T dflags) [FileOption "" arg]
+
+copy :: DynFlags -> String -> FilePath -> FilePath -> IO ()
+copy dflags purpose from to = copyWithHeader dflags purpose Nothing from to
 
 
-copy :: DynFlags -> String -> String -> String -> IO ()
-copy dflags purpose from to = do
+copyWithHeader :: DynFlags -> String -> Maybe String -> FilePath -> FilePath
+               -> IO ()
+copyWithHeader dflags purpose maybe_header from to = do
   showPass dflags purpose
 
   h <- openFile to WriteMode
   ls <- readFile from -- inefficient, but it'll do for now.
   showPass dflags purpose
 
   h <- openFile to WriteMode
   ls <- readFile from -- inefficient, but it'll do for now.
-                     -- ToDo: speed up via slurping.
+                      -- ToDo: speed up via slurping.
+  maybe (return ()) (hPutStr h) maybe_header
   hPutStr h ls
   hClose h
 
   hPutStr h ls
   hClose h
 
+getExtraViaCOpts :: DynFlags -> IO [String]
+getExtraViaCOpts dflags = do
+  f <- readFile (topDir dflags </> "extra-gcc-opts")
+  return (words f)
 \end{code}
 
 \end{code}
 
-\begin{code}
-getSysMan :: IO String -- How to invoke the system manager 
-                       -- (parallel system only)
-getSysMan = readIORef v_Pgm_sysman
-\end{code}
-
-\begin{code}
-getUsageMsgPaths :: IO (FilePath,FilePath)
-         -- the filenames of the usage messages (ghc, ghci)
-getUsageMsgPaths = readIORef v_Path_usages
-\end{code}
-
-
 %************************************************************************
 %************************************************************************
-%*                                                                     *
+%*                                                                      *
 \subsection{Managing temporary files
 \subsection{Managing temporary files
-%*                                                                     *
+%*                                                                      *
 %************************************************************************
 
 \begin{code}
 GLOBAL_VAR(v_FilesToClean, [],               [String] )
 %************************************************************************
 
 \begin{code}
 GLOBAL_VAR(v_FilesToClean, [],               [String] )
+GLOBAL_VAR(v_DirsToClean, emptyFM, FiniteMap FilePath FilePath )
 \end{code}
 
 \begin{code}
 \end{code}
 
 \begin{code}
+cleanTempDirs :: DynFlags -> IO ()
+cleanTempDirs dflags
+   = unless (dopt Opt_KeepTmpFiles dflags)
+   $ do ds <- readIORef v_DirsToClean
+        removeTmpDirs dflags (eltsFM ds)
+        writeIORef v_DirsToClean emptyFM
+
 cleanTempFiles :: DynFlags -> IO ()
 cleanTempFiles dflags
 cleanTempFiles :: DynFlags -> IO ()
 cleanTempFiles dflags
-   = do fs <- readIORef v_FilesToClean
-       removeTmpFiles dflags fs
-       writeIORef v_FilesToClean []
+   = unless (dopt Opt_KeepTmpFiles dflags)
+   $ do fs <- readIORef v_FilesToClean
+        removeTmpFiles dflags fs
+        writeIORef v_FilesToClean []
 
 cleanTempFilesExcept :: DynFlags -> [FilePath] -> IO ()
 cleanTempFilesExcept dflags dont_delete
 
 cleanTempFilesExcept :: DynFlags -> [FilePath] -> IO ()
 cleanTempFilesExcept dflags dont_delete
-   = do files <- readIORef v_FilesToClean
-       let (to_keep, to_delete) = partition (`elem` dont_delete) files
-       removeTmpFiles dflags to_delete
-       writeIORef v_FilesToClean to_keep
+   = unless (dopt Opt_KeepTmpFiles dflags)
+   $ do files <- readIORef v_FilesToClean
+        let (to_keep, to_delete) = partition (`elem` dont_delete) files
+        removeTmpFiles dflags to_delete
+        writeIORef v_FilesToClean to_keep
 
 
 -- find a temporary name that doesn't already exist.
 newTempName :: DynFlags -> Suffix -> IO FilePath
 
 
 -- find a temporary name that doesn't already exist.
 newTempName :: DynFlags -> Suffix -> IO FilePath
-newTempName DynFlags{tmpDir=tmp_dir} extn
-  = do x <- getProcessID
-       findTempName (tmp_dir ++ "/ghc" ++ show x ++ "_") 0
-  where 
+newTempName dflags extn
+  = do d <- getTempDir dflags
+       x <- getProcessID
+       findTempName (d ++ "/ghc" ++ show x ++ "_") 0
+  where
+    findTempName :: FilePath -> Integer -> IO FilePath
     findTempName prefix x
     findTempName prefix x
-      = do let filename = (prefix ++ show x) `joinFileExt` extn
-          b  <- doesFileExist filename
-          if b then findTempName prefix (x+1)
-               else do consIORef v_FilesToClean filename -- clean it up later
-                       return filename
+      = do let filename = (prefix ++ show x) <.> extn
+           b  <- doesFileExist filename
+           if b then findTempName prefix (x+1)
+                else do consIORef v_FilesToClean filename -- clean it up later
+                        return filename
+
+-- return our temporary directory within tmp_dir, creating one if we
+-- don't have one yet
+getTempDir :: DynFlags -> IO FilePath
+getTempDir dflags@(DynFlags{tmpDir=tmp_dir})
+  = do mapping <- readIORef v_DirsToClean
+       case lookupFM mapping tmp_dir of
+           Nothing ->
+               do x <- getProcessID
+                  let prefix = tmp_dir ++ "/ghc" ++ show x ++ "_"
+                  let
+                      mkTempDir :: Integer -> IO FilePath
+                      mkTempDir x
+                       = let dirname = prefix ++ show x
+                         in do createDirectory dirname
+                               let mapping' = addToFM mapping tmp_dir dirname
+                               writeIORef v_DirsToClean mapping'
+                               debugTraceMsg dflags 2 (ptext (sLit "Created temporary directory:") <+> text dirname)
+                               return dirname
+                            `IO.catch` \e ->
+                                    if isAlreadyExistsError e
+                                    then mkTempDir (x+1)
+                                    else ioError e
+                  mkTempDir 0
+           Just d -> return d
 
 addFilesToClean :: [FilePath] -> IO ()
 -- May include wildcards [used by DriverPipeline.run_phase SplitMangle]
 addFilesToClean files = mapM_ (consIORef v_FilesToClean) files
 
 
 addFilesToClean :: [FilePath] -> IO ()
 -- May include wildcards [used by DriverPipeline.run_phase SplitMangle]
 addFilesToClean files = mapM_ (consIORef v_FilesToClean) files
 
+removeTmpDirs :: DynFlags -> [FilePath] -> IO ()
+removeTmpDirs dflags ds
+  = traceCmd dflags "Deleting temp dirs"
+             ("Deleting: " ++ unwords ds)
+             (mapM_ (removeWith dflags removeDirectory) ds)
+
 removeTmpFiles :: DynFlags -> [FilePath] -> IO ()
 removeTmpFiles dflags fs
   = warnNon $
 removeTmpFiles :: DynFlags -> [FilePath] -> IO ()
 removeTmpFiles dflags fs
   = warnNon $
-    traceCmd dflags "Deleting temp files" 
-            ("Deleting: " ++ unwords deletees)
-            (mapM_ rm deletees)
+    traceCmd dflags "Deleting temp files"
+             ("Deleting: " ++ unwords deletees)
+             (mapM_ (removeWith dflags removeFile) deletees)
   where
      -- Flat out refuse to delete files that are likely to be source input
      -- files (is there a worse bug than having a compiler delete your source
      -- files?)
   where
      -- Flat out refuse to delete files that are likely to be source input
      -- files (is there a worse bug than having a compiler delete your source
      -- files?)
-     -- 
+     --
      -- Deleting source files is a sign of a bug elsewhere, so prominently flag
      -- the condition.
     warnNon act
      | null non_deletees = act
      | otherwise         = do
         putMsg dflags (text "WARNING - NOT deleting source files:" <+> hsep (map text non_deletees))
      -- Deleting source files is a sign of a bug elsewhere, so prominently flag
      -- the condition.
     warnNon act
      | null non_deletees = act
      | otherwise         = do
         putMsg dflags (text "WARNING - NOT deleting source files:" <+> hsep (map text non_deletees))
-       act
+        act
 
     (non_deletees, deletees) = partition isHaskellUserSrcFilename fs
 
 
     (non_deletees, deletees) = partition isHaskellUserSrcFilename fs
 
-    rm f = removeFile f `IO.catch` 
-               (\_ignored -> 
-                   debugTraceMsg dflags 2 (ptext SLIT("Warning: deleting non-existent") <+> text f)
-               )
-
+removeWith :: DynFlags -> (FilePath -> IO ()) -> FilePath -> IO ()
+removeWith dflags remover f = remover f `IO.catch`
+  (\e ->
+   let msg = if isDoesNotExistError e
+             then ptext (sLit "Warning: deleting non-existent") <+> text f
+             else ptext (sLit "Warning: exception raised when deleting")
+                                            <+> text f <> colon
+               $$ text (show e)
+   in debugTraceMsg dflags 2 msg
+  )
 
 -----------------------------------------------------------------------------
 -- Running an external program
 
 runSomething :: DynFlags
 
 -----------------------------------------------------------------------------
 -- Running an external program
 
 runSomething :: DynFlags
-            -> String          -- For -v message
-            -> String          -- Command name (possibly a full path)
-                               --      assumed already dos-ified
-            -> [Option]        -- Arguments
-                               --      runSomething will dos-ify them
-            -> IO ()
+             -> String          -- For -v message
+             -> String          -- Command name (possibly a full path)
+                                --      assumed already dos-ified
+             -> [Option]        -- Arguments
+                                --      runSomething will dos-ify them
+             -> IO ()
 
 
-runSomething dflags phase_name pgm args = 
-  runSomethingFiltered dflags id phase_name pgm args
+runSomething dflags phase_name pgm args =
+  runSomethingFiltered dflags id phase_name pgm args Nothing
 
 runSomethingFiltered
 
 runSomethingFiltered
-  :: DynFlags -> (String->String) -> String -> String -> [Option] -> IO ()
+  :: DynFlags -> (String->String) -> String -> String -> [Option]
+  -> Maybe [(String,String)] -> IO ()
 
 
-runSomethingFiltered dflags filter_fn phase_name pgm args = do
+runSomethingFiltered dflags filter_fn phase_name pgm args mb_env = do
   let real_args = filter notNull (map showOpt args)
   traceCmd dflags phase_name (unwords (pgm:real_args)) $ do
   let real_args = filter notNull (map showOpt args)
   traceCmd dflags phase_name (unwords (pgm:real_args)) $ do
-  (exit_code, doesn'tExist) <- 
+  (exit_code, doesn'tExist) <-
      IO.catch (do
      IO.catch (do
-         rc <- builderMainLoop dflags filter_fn pgm real_args
-        case rc of
-          ExitSuccess{} -> return (rc, False)
-          ExitFailure n 
+         rc <- builderMainLoop dflags filter_fn pgm real_args mb_env
+         case rc of
+           ExitSuccess{} -> return (rc, False)
+           ExitFailure n
              -- rawSystem returns (ExitFailure 127) if the exec failed for any
              -- reason (eg. the program doesn't exist).  This is the only clue
              -- we have, but we need to report something to the user because in
              -- the case of a missing program there will otherwise be no output
              -- at all.
              -- rawSystem returns (ExitFailure 127) if the exec failed for any
              -- reason (eg. the program doesn't exist).  This is the only clue
              -- we have, but we need to report something to the user because in
              -- the case of a missing program there will otherwise be no output
              -- at all.
-           | n == 127  -> return (rc, True)
-           | otherwise -> return (rc, False))
-               -- Should 'rawSystem' generate an IO exception indicating that
-               -- 'pgm' couldn't be run rather than a funky return code, catch
-               -- this here (the win32 version does this, but it doesn't hurt
-               -- to test for this in general.)
-              (\ err -> 
-               if IO.isDoesNotExistError err 
-#if defined(mingw32_HOST_OS) && __GLASGOW_HASKELL__ < 604
-               -- the 'compat' version of rawSystem under mingw32 always
-               -- maps 'errno' to EINVAL to failure.
-                  || case (ioeGetErrorType err ) of { InvalidArgument{} -> True ; _ -> False}
-#endif
-                then return (ExitFailure 1, True)
-                else IO.ioError err)
+            | n == 127  -> return (rc, True)
+            | otherwise -> return (rc, False))
+                -- Should 'rawSystem' generate an IO exception indicating that
+                -- 'pgm' couldn't be run rather than a funky return code, catch
+                -- this here (the win32 version does this, but it doesn't hurt
+                -- to test for this in general.)
+              (\ err ->
+                if IO.isDoesNotExistError err
+                 then return (ExitFailure 1, True)
+                 else IO.ioError err)
   case (doesn'tExist, exit_code) of
      (True, _)        -> throwDyn (InstallationError ("could not execute: " ++ pgm))
      (_, ExitSuccess) -> return ()
      _                -> throwDyn (PhaseFailed phase_name exit_code)
 
   case (doesn'tExist, exit_code) of
      (True, _)        -> throwDyn (InstallationError ("could not execute: " ++ pgm))
      (_, ExitSuccess) -> return ()
      _                -> throwDyn (PhaseFailed phase_name exit_code)
 
-
-
-#if __GLASGOW_HASKELL__ < 603
-builderMainLoop dflags filter_fn pgm real_args = do
-  rawSystem pgm real_args
-#else
-builderMainLoop dflags filter_fn pgm real_args = do
+builderMainLoop :: DynFlags -> (String -> String) -> FilePath
+                -> [String] -> Maybe [(String, String)]
+                -> IO ExitCode
+builderMainLoop dflags filter_fn pgm real_args mb_env = do
   chan <- newChan
   chan <- newChan
-  (hStdIn, hStdOut, hStdErr, hProcess) <- runInteractiveProcess pgm real_args Nothing Nothing
+  (hStdIn, hStdOut, hStdErr, hProcess) <- runInteractiveProcess pgm real_args Nothing mb_env
 
   -- and run a loop piping the output from the compiler to the log_action in DynFlags
   hSetBuffering hStdOut LineBuffering
   hSetBuffering hStdErr LineBuffering
   forkIO (readerProc chan hStdOut filter_fn)
   forkIO (readerProc chan hStdErr filter_fn)
 
   -- and run a loop piping the output from the compiler to the log_action in DynFlags
   hSetBuffering hStdOut LineBuffering
   hSetBuffering hStdErr LineBuffering
   forkIO (readerProc chan hStdOut filter_fn)
   forkIO (readerProc chan hStdErr filter_fn)
-  rc <- loop chan hProcess 2 1 ExitSuccess
+  -- we don't want to finish until 2 streams have been completed
+  -- (stdout and stderr)
+  -- nor until 1 exit code has been retrieved.
+  rc <- loop chan hProcess (2::Integer) (1::Integer) ExitSuccess
+  -- after that, we're done here.
   hClose hStdIn
   hClose hStdOut
   hClose hStdErr
   hClose hStdIn
   hClose hStdOut
   hClose hStdErr
@@ -681,16 +717,16 @@ builderMainLoop dflags filter_fn pgm real_args = do
     -- for all of these to happen (status==3).
     -- ToDo: we should really have a contingency plan in case any of
     -- the threads dies, such as a timeout.
     -- for all of these to happen (status==3).
     -- ToDo: we should really have a contingency plan in case any of
     -- the threads dies, such as a timeout.
-    loop chan hProcess 0 0 exitcode = return exitcode
+    loop _    _        0 0 exitcode = return exitcode
     loop chan hProcess t p exitcode = do
       mb_code <- if p > 0
                    then getProcessExitCode hProcess
                    else return Nothing
       case mb_code of
         Just code -> loop chan hProcess t (p-1) code
     loop chan hProcess t p exitcode = do
       mb_code <- if p > 0
                    then getProcessExitCode hProcess
                    else return Nothing
       case mb_code of
         Just code -> loop chan hProcess t (p-1) code
-       Nothing 
-         | t > 0 -> do 
-             msg <- readChan chan
+        Nothing
+          | t > 0 -> do
+              msg <- readChan chan
               case msg of
                 BuildMsg msg -> do
                   log_action dflags SevInfo noSrcSpan defaultUserStyle msg
               case msg of
                 BuildMsg msg -> do
                   log_action dflags SevInfo noSrcSpan defaultUserStyle msg
@@ -702,101 +738,125 @@ builderMainLoop dflags filter_fn pgm real_args = do
                   loop chan hProcess (t-1) p exitcode
           | otherwise -> loop chan hProcess t p exitcode
 
                   loop chan hProcess (t-1) p exitcode
           | otherwise -> loop chan hProcess t p exitcode
 
+readerProc :: Chan BuildMessage -> Handle -> (String -> String) -> IO ()
 readerProc chan hdl filter_fn =
     (do str <- hGetContents hdl
 readerProc chan hdl filter_fn =
     (do str <- hGetContents hdl
-        loop (linesPlatform (filter_fn str)) Nothing) 
+        loop (linesPlatform (filter_fn str)) Nothing)
     `finally`
        writeChan chan EOF
     `finally`
        writeChan chan EOF
-       -- ToDo: check errors more carefully
-       -- ToDo: in the future, the filter should be implemented as
-       -- a stream transformer.
+        -- ToDo: check errors more carefully
+        -- ToDo: in the future, the filter should be implemented as
+        -- a stream transformer.
     where
     where
-       loop []     Nothing    = return ()      
-       loop []     (Just err) = writeChan chan err
-       loop (l:ls) in_err     =
-               case in_err of
-                 Just err@(BuildError srcLoc msg)
-                   | leading_whitespace l -> do
-                       loop ls (Just (BuildError srcLoc (msg $$ text l)))
-                   | otherwise -> do
-                       writeChan chan err
-                       checkError l ls
-                 Nothing -> do
-                       checkError l ls
-
-       checkError l ls
-          = case matchRegex errRegex l of
-               Nothing -> do
-                   writeChan chan (BuildMsg (text l))
-                   loop ls Nothing
-               Just (file':lineno':colno':msg:_) -> do
-                   let file   = mkFastString file'
-                       lineno = read lineno'::Int
-                       colno  = case colno' of
-                                  "" -> 0
-                                  _  -> read (init colno') :: Int
-                       srcLoc = mkSrcLoc file lineno colno
-                   loop ls (Just (BuildError srcLoc (text msg)))
-
-       leading_whitespace []    = False
-       leading_whitespace (x:_) = isSpace x
-
-errRegex = mkRegex "^([^:]*):([0-9]+):([0-9]+:)?(.*)"
+        loop []     Nothing    = return ()
+        loop []     (Just err) = writeChan chan err
+        loop (l:ls) in_err     =
+                case in_err of
+                  Just err@(BuildError srcLoc msg)
+                    | leading_whitespace l -> do
+                        loop ls (Just (BuildError srcLoc (msg $$ text l)))
+                    | otherwise -> do
+                        writeChan chan err
+                        checkError l ls
+                  Nothing -> do
+                        checkError l ls
+                  _ -> panic "readerProc/loop"
+
+        checkError l ls
+           = case parseError l of
+                Nothing -> do
+                    writeChan chan (BuildMsg (text l))
+                    loop ls Nothing
+                Just (file, lineNum, colNum, msg) -> do
+                    let srcLoc = mkSrcLoc (mkFastString file) lineNum colNum
+                    loop ls (Just (BuildError srcLoc (text msg)))
+
+        leading_whitespace []    = False
+        leading_whitespace (x:_) = isSpace x
+
+parseError :: String -> Maybe (String, Int, Int, String)
+parseError s0 = case breakColon s0 of
+                Just (filename, s1) ->
+                    case breakIntColon s1 of
+                    Just (lineNum, s2) ->
+                        case breakIntColon s2 of
+                        Just (columnNum, s3) ->
+                            Just (filename, lineNum, columnNum, s3)
+                        Nothing ->
+                            Just (filename, lineNum, 0, s2)
+                    Nothing -> Nothing
+                Nothing -> Nothing
+
+breakColon :: String -> Maybe (String, String)
+breakColon xs = case break (':' ==) xs of
+                    (ys, _:zs) -> Just (ys, zs)
+                    _ -> Nothing
+
+breakIntColon :: String -> Maybe (Int, String)
+breakIntColon xs = case break (':' ==) xs of
+                       (ys, _:zs)
+                        | not (null ys) && all isAscii ys && all isDigit ys ->
+                           Just (read ys, zs)
+                       _ -> Nothing
 
 data BuildMessage
   = BuildMsg   !SDoc
   | BuildError !SrcLoc !SDoc
   | EOF
 
 data BuildMessage
   = BuildMsg   !SDoc
   | BuildError !SrcLoc !SDoc
   | EOF
-#endif
 
 
-showOpt (FileOption pre f) = pre ++ platformPath f
-showOpt (Option "") = ""
+showOpt :: Option -> String
+showOpt (FileOption pre f) = pre ++ f
 showOpt (Option s)  = s
 
 traceCmd :: DynFlags -> String -> String -> IO () -> IO ()
 -- a) trace the command (at two levels of verbosity)
 -- b) don't do it at all if dry-run is set
 traceCmd dflags phase_name cmd_line action
 showOpt (Option s)  = s
 
 traceCmd :: DynFlags -> String -> String -> IO () -> IO ()
 -- a) trace the command (at two levels of verbosity)
 -- b) don't do it at all if dry-run is set
 traceCmd dflags phase_name cmd_line action
- = do  { let verb = verbosity dflags
-       ; showPass dflags phase_name
-       ; debugTraceMsg dflags 3 (text cmd_line)
-       ; hFlush stderr
-       
-          -- Test for -n flag
-       ; unless (dopt Opt_DryRun dflags) $ do {
-
-          -- And run it!
-       ; action `IO.catch` handle_exn verb
-       }}
+ = do   { let verb = verbosity dflags
+        ; showPass dflags phase_name
+        ; debugTraceMsg dflags 3 (text cmd_line)
+        ; hFlush stderr
+
+           -- Test for -n flag
+        ; unless (dopt Opt_DryRun dflags) $ do {
+
+           -- And run it!
+        ; action `IO.catch` handle_exn verb
+        }}
   where
   where
-    handle_exn verb exn = do { debugTraceMsg dflags 2 (char '\n')
-                            ; debugTraceMsg dflags 2 (ptext SLIT("Failed:") <+> text cmd_line <+> text (show exn))
-                            ; throwDyn (PhaseFailed phase_name (ExitFailure 1)) }
+    handle_exn _verb exn = do { debugTraceMsg dflags 2 (char '\n')
+                              ; debugTraceMsg dflags 2 (ptext (sLit "Failed:") <+> text cmd_line <+> text (show exn))
+                              ; throwDyn (PhaseFailed phase_name (ExitFailure 1)) }
 \end{code}
 
 %************************************************************************
 \end{code}
 
 %************************************************************************
-%*                                                                     *
+%*                                                                      *
 \subsection{Support code}
 \subsection{Support code}
-%*                                                                     *
+%*                                                                      *
 %************************************************************************
 
 \begin{code}
 -----------------------------------------------------------------------------
 %************************************************************************
 
 \begin{code}
 -----------------------------------------------------------------------------
--- Define      getBaseDir     :: IO (Maybe String)
+-- Define       getBaseDir     :: IO (Maybe String)
 
 getBaseDir :: IO (Maybe String)
 #if defined(mingw32_HOST_OS)
 -- Assuming we are running ghc, accessed by path  $()/bin/ghc.exe,
 -- return the path $(stuff).  Note that we drop the "bin/" directory too.
 getBaseDir = do let len = (2048::Int) -- plenty, PATH_MAX is 512 under Win32.
 
 getBaseDir :: IO (Maybe String)
 #if defined(mingw32_HOST_OS)
 -- Assuming we are running ghc, accessed by path  $()/bin/ghc.exe,
 -- return the path $(stuff).  Note that we drop the "bin/" directory too.
 getBaseDir = do let len = (2048::Int) -- plenty, PATH_MAX is 512 under Win32.
-               buf <- mallocArray len
-               ret <- getModuleFileName nullPtr buf len
-               if ret == 0 then free buf >> return Nothing
-                           else do s <- peekCString buf
-                                   free buf
-                                   return (Just (rootDir s))
+                buf <- mallocArray len
+                ret <- getModuleFileName nullPtr buf len
+                if ret == 0 then free buf >> return Nothing
+                            else do s <- peekCString buf
+                                    free buf
+                                    return (Just (rootDir s))
   where
   where
-    rootDir s = reverse (dropList "/bin/ghc.exe" (reverse (normalisePath s)))
+    rootDir s = case splitFileName $ normalise s of
+                (d, "ghc.exe") ->
+                    case splitFileName $ takeDirectory d of
+                    (d', "bin") -> takeDirectory d'
+                    _ -> panic ("Expected \"bin\" in " ++ show s)
+                _ -> panic ("Expected \"ghc.exe\" in " ++ show s)
 
 foreign import stdcall unsafe "GetModuleFileNameA"
   getModuleFileName :: Ptr () -> CString -> Int -> IO Int32
 
 foreign import stdcall unsafe "GetModuleFileNameA"
   getModuleFileName :: Ptr () -> CString -> Int -> IO Int32
@@ -806,12 +866,9 @@ getBaseDir = return Nothing
 
 #ifdef mingw32_HOST_OS
 foreign import ccall unsafe "_getpid" getProcessID :: IO Int -- relies on Int == Int32 on Windows
 
 #ifdef mingw32_HOST_OS
 foreign import ccall unsafe "_getpid" getProcessID :: IO Int -- relies on Int == Int32 on Windows
-#elif __GLASGOW_HASKELL__ > 504
-getProcessID :: IO Int
-getProcessID = System.Posix.Internals.c_getpid >>= return . fromIntegral
 #else
 getProcessID :: IO Int
 #else
 getProcessID :: IO Int
-getProcessID = Posix.getProcessID
+getProcessID = System.Posix.Internals.c_getpid >>= return . fromIntegral
 #endif
 
 -- Divvy up text stream into lines, taking platform dependent
 #endif
 
 -- Divvy up text stream into lines, taking platform dependent
@@ -821,7 +878,7 @@ linesPlatform :: String -> [String]
 linesPlatform ls = lines ls
 #else
 linesPlatform "" = []
 linesPlatform ls = lines ls
 #else
 linesPlatform "" = []
-linesPlatform xs = 
+linesPlatform xs =
   case lineBreak xs of
     (as,xs1) -> as : linesPlatform xs1
   where
   case lineBreak xs of
     (as,xs1) -> as : linesPlatform xs1
   where