[project @ 2001-08-15 00:36:54 by sof]
[ghc-hetmet.git] / ghc / compiler / main / DriverPipeline.hs
index 7a4fe31..9a95cdc 100644 (file)
@@ -1,5 +1,5 @@
 -----------------------------------------------------------------------------
--- $Id: DriverPipeline.hs,v 1.91 2001/07/19 14:23:16 rrt Exp $
+-- $Id: DriverPipeline.hs,v 1.97 2001/08/15 00:36:54 sof Exp $
 --
 -- GHC Driver
 --
@@ -327,7 +327,12 @@ run_phase Unlit _basename _suff input_fn output_fn
        -- The -h option passes the file name for unlit to put in a #line directive;
        -- we undosify it so that it doesn't contain backslashes in Windows, which
        -- would disappear in error messages
-       SysTools.runUnlit (unlit_flags ++ ["-h", unDosifyPath input_fn, input_fn, output_fn])
+       SysTools.runUnlit (map SysTools.Option unlit_flags ++
+                                 [ SysTools.Option     "-h"
+                         , SysTools.Option     input_fn
+                         , SysTools.FileOption input_fn
+                         , SysTools.FileOption output_fn
+                         ])
        return (Just output_fn)
 
 -------------------------------------------------------------------------------
@@ -355,12 +360,17 @@ run_phase Cpp basename suff input_fn output_fn
            verb <- getVerbFlag
            (md_c_flags, _) <- machdepCCOpts
 
-           SysTools.runCpp ([verb]
-                           ++ include_paths
-                           ++ hs_src_cpp_opts
-                           ++ hscpp_opts
-                           ++ md_c_flags
-                           ++ [ "-x", "c", input_fn, "-o", output_fn ])
+           SysTools.runCpp ([SysTools.Option verb]
+                           ++ map SysTools.Option include_paths
+                           ++ map SysTools.Option hs_src_cpp_opts
+                           ++ map SysTools.Option hscpp_opts
+                           ++ map SysTools.Option md_c_flags
+                           ++ [ SysTools.Option     "-x"
+                              , SysTools.Option     "c"
+                              , SysTools.FileOption input_fn
+                              , SysTools.Option     "-o"
+                              , SysTools.FileOption output_fn
+                              ])
            return (Just output_fn)
 
 -----------------------------------------------------------------------------
@@ -458,7 +468,7 @@ run_phase Hsc basename suff input_fn output_fn
         (srcimps,imps,mod_name) <- getImportsFromFile input_fn
 
   -- build a ModuleLocation to pass to hscMain.
-       Just (mod, location')
+       (mod, location')
           <- mkHomeModuleLocn mod_name basename (Just (basename ++ '.':suff))
 
   -- take -ohi into account if present
@@ -569,8 +579,13 @@ run_phase cc_phase basename suff input_fn output_fn
                      | otherwise         = [ ]
 
        excessPrecision <- readIORef v_Excess_precision
-       SysTools.runCc ([ "-x", "c", input_fn, "-o", output_fn ]
-                      ++ md_c_flags
+       SysTools.runCc ([ SysTools.Option "-x", SysTools.Option "c"
+                       , SysTools.FileOption input_fn
+                       , SysTools.Option "-o"
+                       , SysTools.FileOption output_fn
+                       ]
+                      ++ map SysTools.Option (
+                         md_c_flags
                       ++ (if cc_phase == HCc && mangle
                             then md_regd_c_flags
                             else [])
@@ -581,7 +596,7 @@ run_phase cc_phase basename suff input_fn output_fn
                       ++ (if excessPrecision then [] else [ "-ffloat-store" ])
                       ++ include_paths
                       ++ pkg_extra_cc_opts
-                      )
+                      ))
        return (Just output_fn)
 
        -- ToDo: postprocess the output from gcc
@@ -596,9 +611,11 @@ run_phase Mangle _basename _suff input_fn output_fn
                               return [ show n_regs ]
                       else return []
 
-       SysTools.runMangle (mangler_opts
-                         ++ [ input_fn, output_fn ]
-                         ++ machdep_opts)
+       SysTools.runMangle (map SysTools.Option mangler_opts
+                         ++ [ SysTools.FileOption input_fn
+                            , SysTools.FileOption output_fn
+                            ]
+                         ++ map SysTools.Option machdep_opts)
        return (Just output_fn)
 
 -----------------------------------------------------------------------------
@@ -610,7 +627,10 @@ run_phase SplitMangle _basename _suff input_fn output_fn
        split_s_prefix <- SysTools.newTempName "split"
        let n_files_fn = split_s_prefix
 
-       SysTools.runSplit [input_fn, split_s_prefix, n_files_fn]
+       SysTools.runSplit [ SysTools.FileOption input_fn
+                         , SysTools.FileOption split_s_prefix
+                         , SysTools.FileOption n_files_fn
+                         ]
 
        -- Save the number of split files for future references
        s <- readFile n_files_fn
@@ -630,9 +650,13 @@ run_phase As _basename _suff input_fn output_fn
   = do as_opts               <- getOpts opt_a
         cmdline_include_paths <- readIORef v_Include_paths
 
-       SysTools.runAs (as_opts
-                      ++ [ "-I" ++ p | p <- cmdline_include_paths ]
-                      ++ [ "-c", input_fn, "-o",  output_fn ])
+       SysTools.runAs (map SysTools.Option as_opts
+                      ++ [ SysTools.Option ("-I" ++ p) | p <- cmdline_include_paths ]
+                      ++ [ SysTools.Option "-c"
+                         , SysTools.FileOption input_fn
+                         , SysTools.Option "-o"
+                         , SysTools.FileOption output_fn
+                         ])
        return (Just output_fn)
 
 run_phase SplitAs basename _suff _input_fn output_fn
@@ -650,7 +674,12 @@ run_phase SplitAs basename _suff _input_fn output_fn
                    let output_o = newdir real_odir 
                                        (basename ++ "__" ++ show n ++ ".o")
                    real_o <- osuf_ify output_o
-                   SysTools.runAs (as_opts ++ ["-c", "-o", real_o, input_s])
+                   SysTools.runAs (map SysTools.Option as_opts ++
+                                   [ SysTools.Option "-c"
+                                   , SysTools.Option "-o"
+                                   , SysTools.FileOption real_o
+                                   , SysTools.FileOption input_s
+                                   ])
        
        mapM_ assemble_file [1..n]
        return (Just output_fn)
@@ -790,8 +819,12 @@ doLink o_files = do
                           head (library_dirs (head std_pkg)) ++ "/PrelMain.dll_o" ]
 
     (md_c_flags, _) <- machdepCCOpts
-    SysTools.runLink ( [verb, "-o", output_fn]
-                     ++ md_c_flags
+    SysTools.runLink ( [ SysTools.Option verb
+                      , SysTools.Option "-o"
+                      , SysTools.FileOption output_fn
+                      ]
+                     ++ map SysTools.Option (
+                        md_c_flags
                      ++ o_files
                      ++ extra_os
                      ++ extra_ld_inputs
@@ -806,10 +839,10 @@ doLink o_files = do
                            [ "-u", "_PrelMain_mainIO_closure" ,
                              "-u", "___init_PrelMain"] 
 #else
-                           [ "-u", "PrelMain_mainIO_closure" ,
-                             "-u", "__init_PrelMain"] 
+                           [ "-u", prefixUnderscore "PrelMain_mainIO_closure" ,
+                             "-u", prefixUnderscore "__init_PrelMain"] 
 #endif
-                        else [])
+                        else []))
 
     -- parallel only: move binary to another dir -- HWL
     ways_ <- readIORef v_Ways
@@ -862,8 +895,12 @@ doMkDLL o_files = do
 
     (md_c_flags, _) <- machdepCCOpts
     SysTools.runMkDLL
-        ([ verb, "-o", output_fn ]
-        ++ md_c_flags
+        ([ SysTools.Option verb
+         , SysTools.Option "-o"
+         , SysTools.FileOption output_fn
+         ]
+        ++ map SysTools.Option (
+           md_c_flags
         ++ o_files
         ++ extra_os
         ++ [ "--target=i386-mingw32" ]
@@ -877,7 +914,7 @@ doMkDLL o_files = do
                Nothing -> [ "--export-all" ]
               Just _  -> [ "" ])
         ++ extra_ld_opts
-       )
+       ))
 
 -----------------------------------------------------------------------------
 -- Just preprocess a file, put the result in a temp. file (used by the
@@ -952,12 +989,19 @@ compile ghci_mode summary source_unchanged have_object
    let hsc_lang      = hscLang dyn_flags
        (basename, _) = splitFilename input_fn
        
-   output_fn <- case hsc_lang of
-                   HscAsm         -> newTempName (phaseInputExt As)
-                   HscC           -> newTempName (phaseInputExt HCc)
-                   HscJava        -> newTempName "java" -- ToDo
-                   HscILX         -> return (basename ++ ".ilx")       -- newTempName "ilx"    -- ToDo
-                   HscInterpreted -> return (error "no output file")
+   keep_hc <- readIORef v_Keep_hc_files
+   keep_s  <- readIORef v_Keep_s_files
+
+   output_fn <- 
+       case hsc_lang of
+          HscAsm  | keep_s    -> return (basename ++ '.':phaseInputExt As)
+                  | otherwise -> newTempName (phaseInputExt As)
+          HscC    | keep_hc   -> return (basename ++ '.':phaseInputExt HCc)
+                  | otherwise -> newTempName (phaseInputExt HCc)
+           HscJava             -> newTempName "java" -- ToDo
+          HscILX              -> return (basename ++ ".ilx")   
+                                   -- newTempName "ilx"        -- ToDo
+          HscInterpreted      -> return (error "no output file")
 
    let dyn_flags' = dyn_flags { hscOutName = output_fn,
                                hscStubCOutName = basename ++ "_stub.c",
@@ -1004,8 +1048,10 @@ compile ghci_mode summary source_unchanged have_object
                -- as our "unlinked" object.
                HscInterpreted -> 
                    case maybe_interpreted_code of
+#ifdef GHCI
                       Just (bcos,itbl_env) -> do tm <- getClockTime 
                                                   return ([BCOs bcos itbl_env], tm)
+#endif
                       Nothing -> panic "compile: no interpreted code"
 
                -- we're in batch mode: finish the compilation pipeline.