-----------------------------------------------------------------------------
--- $Id: DriverPipeline.hs,v 1.85 2001/06/29 12:58:20 rrt Exp $
+-- $Id: DriverPipeline.hs,v 1.92 2001/07/23 20:19:53 sof Exp $
--
-- GHC Driver
--
import DriverMkDepend
import DriverPhases
import DriverFlags
-import SysTools ( newTempName, addFilesToClean, getSysMan )
+import SysTools ( newTempName, addFilesToClean, getSysMan, unDosifyPath )
import qualified SysTools
import HscMain
import Finder
deriving (Eq, Show)
genPipeline
- :: GhcMode -- when to stop
- -> String -- "stop after" flag (for error messages)
- -> Bool -- True => output is persistent
- -> HscLang -- preferred output language for hsc
- -> String -- original filename
+ :: GhcMode -- when to stop
+ -> String -- "stop after" flag (for error messages)
+ -> Bool -- True => output is persistent
+ -> HscLang -- preferred output language for hsc
+ -> (FilePath, String) -- original filename & its suffix
-> IO [ -- list of phases to run for this file
(Phase,
IntermediateFileType, -- keep the output from this phase?
String) -- output file suffix
]
-genPipeline todo stop_flag persistent_output lang filename
+genPipeline todo stop_flag persistent_output lang (filename,suffix)
= do
split <- readIORef v_Split_object_files
mangle <- readIORef v_Do_asm_mangling
let
----------- ----- ---- --- -- -- - - -
- (_basename, suffix) = splitFilename filename
-
start = startPhase suffix
-- special case for mkdependHS: .hspp files go through MkDependHS
runPipeline
:: [ (Phase, IntermediateFileType, String) ] -- phases to run
- -> String -- input file
+ -> (String,String) -- input file
-> Bool -- doing linking afterward?
-> Bool -- take into account -o when generating output?
- -> IO String -- return final filename
+ -> IO (String, String) -- return final filename
-runPipeline pipeline input_fn do_linking use_ofile
- = pipeLoop pipeline input_fn do_linking use_ofile basename suffix
- where (basename, suffix) = splitFilename input_fn
+runPipeline pipeline (input_fn,suffix) do_linking use_ofile
+ = pipeLoop pipeline (input_fn,suffix) do_linking use_ofile basename suffix
+ where (basename, _) = splitFilename input_fn
pipeLoop [] input_fn _ _ _ _ = return input_fn
pipeLoop ((phase, keep, o_suffix):phases)
- input_fn do_linking use_ofile orig_basename orig_suffix
+ (input_fn,real_suff) do_linking use_ofile orig_basename orig_suffix
= do
output_fn <- outputFileName (null phases) keep o_suffix
- carry_on <- run_phase phase orig_basename orig_suffix input_fn output_fn
+ mbCarryOn <- run_phase phase orig_basename orig_suffix input_fn output_fn
-- sometimes we bail out early, eg. when the compiler's recompilation
-- checker has determined that recompilation isn't necessary.
- if not carry_on
- then do let (_,keep,final_suffix) = last phases
- ofile <- outputFileName True keep final_suffix
- return ofile
- else do -- carry on ...
-
- pipeLoop phases output_fn do_linking use_ofile orig_basename orig_suffix
-
+ case mbCarryOn of
+ Nothing -> do
+ let (_,keep,final_suffix) = last phases
+ ofile <- outputFileName True keep final_suffix
+ return (ofile, final_suffix)
+ -- carry on ...
+ Just fn ->
+ {-
+ Notice that in order to keep the invariant that we can
+ determine a compilation pipeline's 'start phase' just
+ by looking at the input filename, the input filename
+ to the next stage/phase is associated here with the suffix
+ of the output file, *even* if it does not have that
+ suffix in reality.
+
+ Why is this important? Because we may run a compilation
+ pipeline in stages (cf. Main.main.compileFile's two stages),
+ so when generating the next stage we need to be precise
+ about what kind of file (=> suffix) is given as input.
+
+ [Not having to generate a pipeline in stages seems like
+ the right way to go, but I've punted on this for now --sof]
+
+ -}
+ pipeLoop phases (fn, o_suffix) do_linking use_ofile
+ orig_basename orig_suffix
where
outputFileName last_phase keep suffix
= do o_file <- readIORef v_Output_file
then odir_ify (orig_basename ++ '.':suffix)
else newTempName suffix
+run_phase :: Phase
+ -> String -- basename of original input source
+ -> String -- its extension
+ -> FilePath -- name of file which contains the input to this phase.
+ -> FilePath -- where to stick the result.
+ -> IO (Maybe FilePath)
+ -- Nothing => stop the compilation pipeline
+ -- Just fn => the result of this phase can be found in 'fn'
+ -- (this can either be 'input_fn' or 'output_fn').
-------------------------------------------------------------------------------
-- Unlit phase
run_phase Unlit _basename _suff input_fn output_fn
= do unlit_flags <- getOpts opt_L
- SysTools.runUnlit (unlit_flags ++ ["-h", input_fn, input_fn, output_fn])
- return True
+ -- 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])
+ return (Just output_fn)
-------------------------------------------------------------------------------
-- Cpp phase
checkProcessArgsResult unhandled_flags basename suff
do_cpp <- dynFlag cppFlag
- if do_cpp
- then do
+ if not do_cpp then
+ -- no need to preprocess CPP, just pass input file along
+ -- to the next phase of the pipeline.
+ return (Just input_fn)
+ else do
hscpp_opts <- getOpts opt_P
hs_src_cpp_opts <- readIORef v_Hs_source_cpp_opts
cmdline_include_paths <- readIORef v_Include_paths
pkg_include_dirs <- getPackageIncludePath
- let include_paths = map (\p -> "-I"++p) (cmdline_include_paths
- ++ pkg_include_dirs)
+ let include_paths = foldr (\ x xs -> "-I" : x : xs) []
+ (cmdline_include_paths ++ pkg_include_dirs)
verb <- getVerbFlag
(md_c_flags, _) <- machdepCCOpts
++ hscpp_opts
++ md_c_flags
++ [ "-x", "c", input_fn, "-o", output_fn ])
-
- -- ToDo: switch away from using 'echo' altogether (but need
- -- a faster alternative than what's done below).
-#if defined(mingw32_TARGET_OS) && defined(MINIMAL_UNIX_DEPS)
- else do
- h <- openFile output_fn WriteMode
- hPutStrLn h ("{-# LINE 1 \"" ++ input_fn ++ "\" #-}")
- ls <- readFile input_fn -- inefficient, but it'll do for now.
- -- ToDo: speed up via slurping.
- hPutStrLn h ls
- hClose h
-#else
- else do
- SysTools.runSomething "Ineffective C pre-processor"
- ("echo '{-# LINE 1 \"" ++ input_fn ++ "\" #-}' > "
- ++ output_fn ++ " && cat " ++ input_fn
- ++ " >> " ++ output_fn) []
-#endif
- return True
+ return (Just output_fn)
-----------------------------------------------------------------------------
-- MkDependHS phase
-run_phase MkDependHS basename suff input_fn _output_fn = do
+run_phase MkDependHS basename suff input_fn output_fn = do
src <- readFile input_fn
let (import_sources, import_normals, _) = getImports src
mapM genDep [ d | Just d <- deps ]
- return True
+ return (Just output_fn)
-- add the lines to dep_makefile:
-- always:
HscFail pcs -> throwDyn (PhaseFailed "hsc" (ExitFailure 1));
HscNoRecomp pcs details iface -> do { SysTools.touch "Touching object file" o_file
- ; return False } ;
+ ; return Nothing } ;
HscRecomp pcs details iface stub_h_exists stub_c_exists
_maybe_interpreted_code -> do
Nothing -> return ()
Just stub_o -> add v_Ld_inputs stub_o
- return True
+ return (Just output_fn)
}
-----------------------------------------------------------------------------
run_phase cc_phase basename suff input_fn output_fn
| cc_phase == Cc || cc_phase == HCc
= do cc_opts <- getOpts opt_c
- cmdline_include_dirs <- readIORef v_Include_paths
+ cmdline_include_paths <- readIORef v_Include_paths
let hcc = cc_phase == HCc
-- .c files; this is the Value Add(TM) that using
-- ghc instead of gcc gives you :)
pkg_include_dirs <- getPackageIncludePath
- let include_paths = map (\p -> "-I"++p) (cmdline_include_dirs
- ++ pkg_include_dirs)
+ let include_paths = foldr (\ x xs -> "-I" : x : xs) []
+ (cmdline_include_paths ++ pkg_include_dirs)
mangle <- readIORef v_Do_asm_mangling
(md_c_flags, md_regd_c_flags) <- machdepCCOpts
++ include_paths
++ pkg_extra_cc_opts
)
- return True
+ return (Just output_fn)
-- ToDo: postprocess the output from gcc
SysTools.runMangle (mangler_opts
++ [ input_fn, output_fn ]
++ machdep_opts)
- return True
+ return (Just output_fn)
-----------------------------------------------------------------------------
-- Splitting phase
-run_phase SplitMangle _basename _suff input_fn _output_fn
+run_phase SplitMangle _basename _suff input_fn output_fn
= do -- tmp_pfx is the prefix used for the split .s files
-- We also use it as the file to contain the no. of split .s files (sigh)
split_s_prefix <- SysTools.newTempName "split"
addFilesToClean [ split_s_prefix ++ "__" ++ show n ++ ".s"
| n <- [1..n_files]]
- return True
+ return (Just output_fn)
-----------------------------------------------------------------------------
-- As phase
SysTools.runAs (as_opts
++ [ "-I" ++ p | p <- cmdline_include_paths ]
++ [ "-c", input_fn, "-o", output_fn ])
- return True
+ return (Just output_fn)
-run_phase SplitAs basename _suff _input_fn _output_fn
+run_phase SplitAs basename _suff _input_fn output_fn
= do as_opts <- getOpts opt_a
(split_s_prefix, n) <- readIORef v_Split_info
SysTools.runAs (as_opts ++ ["-c", "-o", real_o, input_s])
mapM_ assemble_file [1..n]
- return True
+ return (Just output_fn)
-----------------------------------------------------------------------------
-- MoveBinary sort-of-phase
++ extra_ld_opts
++ if static && not no_hs_main then
#ifdef LEADING_UNDERSCORE
- [ "-u _PrelMain_mainIO_closure" ,
- "-u ___init_PrelMain"]
+ [ "-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 [])
ASSERT(haskellish_src_file filename)
do restoreDynFlags -- Restore to state of last save
pipeline <- genPipeline (StopBefore Hsc) ("preprocess") False
- defaultHscLang filename
- runPipeline pipeline filename False{-no linking-} False{-no -o flag-}
+ defaultHscLang (filename, getFileSuffix filename)
+ (fn,_) <- runPipeline pipeline (filename,getFileSuffix filename)
+ False{-no linking-} False{-no -o flag-}
+ return fn
-----------------------------------------------------------------------------
-- Compile a single module, under the control of the compilation manager.
-- we're in batch mode: finish the compilation pipeline.
_other -> do pipe <- genPipeline (StopBefore Ln) "" True
- hsc_lang output_fn
+ hsc_lang (output_fn, getFileSuffix output_fn)
-- runPipeline takes input_fn so it can split off
-- the base name and use it as the base of
-- the output object file.
let (basename, suffix) = splitFilename input_fn
- o_file <- pipeLoop pipe output_fn False False
- basename suffix
+ (o_file,_) <-
+ pipeLoop pipe (output_fn, getFileSuffix output_fn)
+ False False
+ basename suffix
o_time <- getModificationTime o_file
return ([DotO o_file], o_time)
| stub_c_exists = do
-- compile the _stub.c file w/ gcc
let stub_c = hscStubCOutName dflags
- pipeline <- genPipeline (StopBefore Ln) "" True defaultHscLang stub_c
- stub_o <- runPipeline pipeline stub_c False{-no linking-}
- False{-no -o option-}
-
+ pipeline <- genPipeline (StopBefore Ln) "" True defaultHscLang (stub_c,"c")
+ (stub_o,_) <- runPipeline pipeline (stub_c,"c") False{-no linking-}
+ False{-no -o option-}
return (Just stub_o)
projects / ghc-hetmet.git / blobdiff