-----------------------------------------------------------------------------
--- $Id: DriverPipeline.hs,v 1.96 2001/08/10 23:08:25 sof 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
HscJava | split -> not_valid
| otherwise -> error "not implemented: compiling via Java"
+#ifdef ILX
HscILX | split -> not_valid
- | otherwise -> [ Unlit, Cpp, Hsc ]
+ | 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 hs_src_cpp_opts
++ map SysTools.Option hscpp_opts
++ map SysTools.Option md_c_flags
- ++ [ SysTools.Option "-x c"
- , SysTools.FileOption input_fn
+ ++ [ SysTools.Option "-x"
+ , SysTools.Option "c"
+ , 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)
}
-----------------------------------------------------------------------------
| otherwise = [ ]
excessPrecision <- readIORef v_Excess_precision
- SysTools.runCc ([ SysTools.Option "-x c"
- , SysTools.FileOption input_fn
+ SysTools.runCc ([ SysTools.Option "-x", SysTools.Option "c"
+ , 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]
return (Just output_fn)
+#ifdef ILX
+-----------------------------------------------------------------------------
+-- Ilx2Il phase
+-- Run ilx2il over the ILX output, getting an IL file
+
+run_phase Ilx2Il _basename _suff input_fn output_fn
+ = do ilx2il_opts <- getOpts opt_I
+ 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)
+
+-----------------------------------------------------------------------------
+-- Ilasm phase
+-- Run ilasm over the IL, getting a DLL
+
+run_phase Ilasm _basename _suff input_fn output_fn
+ = do ilasm_opts <- getOpts opt_i
+ 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
+
-----------------------------------------------------------------------------
-- MoveBinary sort-of-phase
-- After having produced a binary, move it somewhere else and generate a
(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 <-
HscC | keep_hc -> return (basename ++ '.':phaseInputExt HCc)
| otherwise -> newTempName (phaseInputExt HCc)
HscJava -> newTempName "java" -- ToDo
- HscILX -> return (basename ++ ".ilx")
- -- newTempName "ilx" -- ToDo
+#ifdef ILX
+ 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)
projects / ghc-hetmet.git / blobdiff