-----------------------------------------------------------------------------
--- $Id: DriverPipeline.hs,v 1.99 2001/08/15 13:27:43 sewardj Exp $
--
-- GHC Driver
--
split <- readIORef v_Split_object_files
mangle <- readIORef v_Do_asm_mangling
keep_hc <- readIORef v_Keep_hc_files
+ keep_il <- readIORef v_Keep_il_files
keep_raw_s <- readIORef v_Keep_raw_s_files
keep_s <- readIORef v_Keep_s_files
osuf <- readIORef v_Object_suf
HscILX | split -> not_valid
| otherwise -> [ Unlit, Cpp, Hsc, Ilx2Il, Ilasm ]
#endif
+ HscNothing -> [ Unlit, Cpp, Hsc ]
| cish = [ Cc, As ]
stop_phase = case todo of
StopBefore As | split -> SplitAs
+ | real_lang == HscILX -> Ilasm
StopBefore phase -> phase
DoMkDependHS -> Ln
DoLink -> Ln
Mangle | keep_raw_s -> Persistent
As | keep_s -> Persistent
HCc | keep_hc -> Persistent
+ Ilasm | keep_il -> Persistent
_other -> Temporary
-- add information about output files to the pipeline
where (basename, _) = splitFilename input_fn
pipeLoop [] input_fn _ _ _ _ = return input_fn
-pipeLoop ((phase, keep, o_suffix):phases)
+pipeLoop (all_phases@((phase, keep, o_suffix):phases))
(input_fn,real_suff) do_linking use_ofile orig_basename orig_suffix
= do
-- checker has determined that recompilation isn't necessary.
case mbCarryOn of
Nothing -> do
- let (_,keep,final_suffix) = last phases
+ let (_,keep,final_suffix) = last all_phases
ofile <- outputFileName True keep final_suffix
return (ofile, final_suffix)
-- carry on ...
SysTools.runUnlit (map SysTools.Option unlit_flags ++
[ SysTools.Option "-h"
, SysTools.Option input_fn
- , SysTools.FileOption input_fn
- , SysTools.FileOption output_fn
+ , SysTools.FileOption "" input_fn
+ , SysTools.FileOption "" output_fn
])
return (Just output_fn)
++ map SysTools.Option md_c_flags
++ [ SysTools.Option "-x"
, SysTools.Option "c"
- , SysTools.FileOption input_fn
+ , SysTools.FileOption "" input_fn
, SysTools.Option "-o"
- , SysTools.FileOption output_fn
+ , SysTools.FileOption "" output_fn
])
return (Just output_fn)
-- build a ModuleLocation to pass to hscMain.
(mod, location')
- <- mkHomeModuleLocn mod_name basename (Just (basename ++ '.':suff))
+ <- mkHomeModuleLocn mod_name basename (basename ++ '.':suff)
-- take -ohi into account if present
ohi <- readIORef v_Output_hi
let dyn_flags' = dyn_flags { hscOutName = output_fn,
hscStubCOutName = basename ++ "_stub.c",
hscStubHOutName = basename ++ "_stub.h",
- extCoreName = basename ++ ".core" }
+ extCoreName = basename ++ ".hcr" }
-- run the compiler!
pcs <- initPersistentCompilerState
HscRecomp pcs details iface stub_h_exists stub_c_exists
_maybe_interpreted_code -> do
- -- deal with stubs
- maybe_stub_o <- compileStub dyn_flags' stub_c_exists
- case maybe_stub_o of
- Nothing -> return ()
- Just stub_o -> add v_Ld_inputs stub_o
-
- return (Just output_fn)
+ -- deal with stubs
+ maybe_stub_o <- compileStub dyn_flags' stub_c_exists
+ case maybe_stub_o of
+ Nothing -> return ()
+ Just stub_o -> add v_Ld_inputs stub_o
+ case hscLang dyn_flags of
+ HscNothing -> return Nothing
+ _ -> return (Just output_fn)
}
-----------------------------------------------------------------------------
excessPrecision <- readIORef v_Excess_precision
SysTools.runCc ([ SysTools.Option "-x", SysTools.Option "c"
- , SysTools.FileOption input_fn
+ , SysTools.FileOption "" input_fn
, SysTools.Option "-o"
- , SysTools.FileOption output_fn
+ , SysTools.FileOption "" output_fn
]
++ map SysTools.Option (
md_c_flags
else return []
SysTools.runMangle (map SysTools.Option mangler_opts
- ++ [ SysTools.FileOption input_fn
- , SysTools.FileOption output_fn
+ ++ [ SysTools.FileOption "" input_fn
+ , SysTools.FileOption "" output_fn
]
++ map SysTools.Option machdep_opts)
return (Just output_fn)
split_s_prefix <- SysTools.newTempName "split"
let n_files_fn = split_s_prefix
- SysTools.runSplit [ SysTools.FileOption input_fn
- , SysTools.FileOption split_s_prefix
- , SysTools.FileOption 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
SysTools.runAs (map SysTools.Option as_opts
++ [ SysTools.Option ("-I" ++ p) | p <- cmdline_include_paths ]
++ [ SysTools.Option "-c"
- , SysTools.FileOption input_fn
+ , SysTools.FileOption "" input_fn
, SysTools.Option "-o"
- , SysTools.FileOption output_fn
+ , SysTools.FileOption "" output_fn
])
return (Just output_fn)
SysTools.runAs (map SysTools.Option as_opts ++
[ SysTools.Option "-c"
, SysTools.Option "-o"
- , SysTools.FileOption real_o
- , SysTools.FileOption input_s
+ , SysTools.FileOption "" real_o
+ , SysTools.FileOption "" input_s
])
mapM_ assemble_file [1..n]
run_phase Ilx2Il _basename _suff input_fn output_fn
= do ilx2il_opts <- getOpts opt_I
- SysTools.runIlx2il (ilx2il_opts
- ++ [ "--no-add-suffix-to-assembly", "mscorlib",
- "-o", output_fn, input_fn ])
+ SysTools.runIlx2il (map SysTools.Option ilx2il_opts
+ ++ [ SysTools.Option "--no-add-suffix-to-assembly",
+ SysTools.Option "mscorlib",
+ SysTools.Option "-o",
+ SysTools.FileOption "" output_fn,
+ SysTools.FileOption "" input_fn ])
return (Just output_fn)
-----------------------------------------------------------------------------
run_phase Ilasm _basename _suff input_fn output_fn
= do ilasm_opts <- getOpts opt_i
- SysTools.runIlasm (ilasm_opts
- ++ [ "/QUIET", "/DLL", "/OUT="++output_fn, input_fn ])
+ SysTools.runIlasm (map SysTools.Option ilasm_opts
+ ++ [ SysTools.Option "/QUIET",
+ SysTools.Option "/DLL",
+ SysTools.FileOption "/OUT=" output_fn,
+ SysTools.FileOption "" input_fn ])
return (Just output_fn)
#endif -- ILX
(md_c_flags, _) <- machdepCCOpts
SysTools.runLink ( [ SysTools.Option verb
, SysTools.Option "-o"
- , SysTools.FileOption output_fn
+ , SysTools.FileOption "" output_fn
]
++ map SysTools.Option (
md_c_flags
++ pkg_extra_ld_opts
++ extra_ld_opts
++ if static && not no_hs_main then
-#ifdef LEADING_UNDERSCORE
- [ "-u", "_PrelMain_mainIO_closure" ,
- "-u", "___init_PrelMain"]
-#else
- [ "-u", prefixUnderscore "PrelMain_mainIO_closure" ,
- "-u", prefixUnderscore "__init_PrelMain"]
-#endif
+ [ "-u", prefixUnderscore "PrelMain_mainIO_closure",
+ "-u", prefixUnderscore "__stginit_PrelMain"]
else []))
-- parallel only: move binary to another dir -- HWL
SysTools.runMkDLL
([ SysTools.Option verb
, SysTools.Option "-o"
- , SysTools.FileOption output_fn
+ , SysTools.FileOption "" output_fn
]
++ map SysTools.Option (
md_c_flags
(basename, _) = splitFilename input_fn
keep_hc <- readIORef v_Keep_hc_files
+ keep_il <- readIORef v_Keep_il_files
keep_s <- readIORef v_Keep_s_files
output_fn <-
| otherwise -> newTempName (phaseInputExt HCc)
HscJava -> newTempName "java" -- ToDo
#ifdef ILX
- HscILX -> return (phaseInputExt Ilx2Il)
+ HscILX | keep_il -> return (basename ++ '.':phaseInputExt Ilasm)
+ | otherwise -> newTempName (phaseInputExt Ilx2Il)
#endif
HscInterpreted -> return (error "no output file")
+ HscNothing -> return (error "no output file")
let dyn_flags' = dyn_flags { hscOutName = output_fn,
hscStubCOutName = basename ++ "_stub.c",
hscStubHOutName = basename ++ "_stub.h",
- extCoreName = basename ++ ".core" }
+ extCoreName = basename ++ ".hcr" }
-- figure out which header files to #include in a generated .hc file
c_includes <- getPackageCIncludes
writeIORef v_HCHeader cc_injects
+ -- -no-recomp should also work with --make
+ do_recomp <- readIORef v_Recomp
+ let source_unchanged' = source_unchanged && do_recomp
+
-- run the compiler
hsc_result <- hscMain ghci_mode dyn_flags'
(ms_mod summary) location
- source_unchanged have_object old_iface hst hit pcs
+ source_unchanged' have_object old_iface hst hit pcs
case hsc_result of
HscFail pcs -> return (CompErrs pcs)