import OccurAnal ( occurAnalyseBinds )
#endif
-import Distribution.Package ( showPackageId )
+import Finder ( mkStubPaths )
import PprC ( writeCs )
import CmmLint ( cmmLint )
import Packages
-import Util ( filenameOf )
+import Util
import FastString ( unpackFS )
import Cmm ( Cmm )
import HscTypes
import ErrUtils ( dumpIfSet_dyn, showPass, ghcExit )
import Outputable
import Pretty ( Mode(..), printDoc )
-import Module ( Module )
-import ListSetOps ( removeDupsEq )
+import Module ( Module, ModLocation(..) )
+import List ( nub )
import Maybes ( firstJust )
+import Distribution.Package ( showPackageId )
import Directory ( doesFileExist )
import Monad ( when )
import IO
\begin{code}
codeOutput :: DynFlags
-> Module
+ -> ModLocation
-> ForeignStubs
- -> Dependencies
+ -> [PackageId]
-> [Cmm] -- Compiled C--
-> IO (Bool{-stub_h_exists-}, Bool{-stub_c_exists-})
-codeOutput dflags this_mod foreign_stubs deps flat_abstractC
+codeOutput dflags this_mod location foreign_stubs pkg_deps flat_abstractC
=
-- You can have C (c_output) or assembly-language (ncg_output),
-- but not both. [Allowing for both gives a space leak on
; let lints = map cmmLint flat_abstractC
; case firstJust lints of
Just err -> do { printDump err
- ; ghcExit 1
+ ; ghcExit dflags 1
}
Nothing -> return ()
}
; showPass dflags "CodeOutput"
; let filenm = hscOutName dflags
- ; stubs_exist <- outputForeignStubs dflags foreign_stubs
+ ; stubs_exist <- outputForeignStubs dflags this_mod location foreign_stubs
; case hscTarget dflags of {
HscInterpreted -> return ();
HscAsm -> outputAsm dflags filenm flat_abstractC;
- HscC -> outputC dflags filenm flat_abstractC stubs_exist
- deps foreign_stubs;
+ HscC -> outputC dflags filenm this_mod location
+ flat_abstractC stubs_exist pkg_deps
+ foreign_stubs;
HscJava ->
#ifdef JAVA
outputJava dflags filenm mod_name tycons core_binds;
%************************************************************************
\begin{code}
-outputC dflags filenm flat_absC
- (stub_h_exists, _) dependencies foreign_stubs
+outputC dflags filenm mod location flat_absC
+ (stub_h_exists, _) packages foreign_stubs
= do
-- figure out which header files to #include in the generated .hc file:
--
-- * -#include options from the cmdline and OPTIONS pragmas
-- * the _stub.h file, if there is one.
--
- let packages = dep_pkgs dependencies
pkg_configs <- getExplicitPackagesAnd dflags packages
let pkg_names = map (showPackageId.package) pkg_configs
ffi_decl_headers
= case foreign_stubs of
NoStubs -> []
- ForeignStubs _ _ fdhs _ -> map unpackFS (fst (removeDupsEq fdhs))
+ ForeignStubs _ _ fdhs _ -> map unpackFS (nub fdhs)
-- Remove duplicates, because distinct foreign import decls
-- may cite the same #include. Order doesn't matter.
hPutStr h ("/* GHC_PACKAGES " ++ unwords pkg_names ++ "\n*/\n")
hPutStr h cc_injects
when stub_h_exists $
- hPutStrLn h ("#include \"" ++ (filenameOf (hscStubHOutName dflags)) ++ "\"")
- writeCs h flat_absC
+ hPutStrLn h ("#include \"" ++ (filenameOf stub_h) ++ "\"")
+ writeCs dflags h flat_absC
+ where
+ (_, stub_h) = mkStubPaths dflags mod location
\end{code}
%************************************************************************
\begin{code}
-outputForeignStubs :: DynFlags -> ForeignStubs
+outputForeignStubs :: DynFlags -> Module -> ModLocation -> ForeignStubs
-> IO (Bool, -- Header file created
Bool) -- C file created
-outputForeignStubs dflags NoStubs = do
--- When compiling External Core files, may need to use stub files from a
--- previous compilation
- hFileExists <- doesFileExist (hscStubHOutName dflags)
- cFileExists <- doesFileExist (hscStubCOutName dflags)
- return (hFileExists, cFileExists)
-outputForeignStubs dflags (ForeignStubs h_code c_code _ _)
+outputForeignStubs dflags mod location stubs
+ | NoStubs <- stubs = do
+ -- When compiling External Core files, may need to use stub
+ -- files from a previous compilation
+ stub_c_exists <- doesFileExist stub_c
+ stub_h_exists <- doesFileExist stub_h
+ return (stub_h_exists, stub_c_exists)
+
+ | ForeignStubs h_code c_code _ _ <- stubs
= do
+ let
+ stub_c_output_d = pprCode CStyle c_code
+ stub_c_output_w = showSDoc stub_c_output_d
+
+ -- Header file protos for "foreign export"ed functions.
+ stub_h_output_d = pprCode CStyle h_code
+ stub_h_output_w = showSDoc stub_h_output_d
+ -- in
+
+ createDirectoryHierarchy (directoryOf stub_c)
+
dumpIfSet_dyn dflags Opt_D_dump_foreign
"Foreign export header file" stub_h_output_d
mk_include i = "#include \"" ++ i ++ "\"\n"
stub_h_file_exists
- <- outputForeignStubs_help (hscStubHOutName dflags) stub_h_output_w
+ <- outputForeignStubs_help stub_h stub_h_output_w
("#include \"HsFFI.h\"\n" ++ cplusplus_hdr) cplusplus_ftr
dumpIfSet_dyn dflags Opt_D_dump_foreign
"Foreign export stubs" stub_c_output_d
stub_c_file_exists
- <- outputForeignStubs_help (hscStubCOutName dflags) stub_c_output_w
+ <- outputForeignStubs_help stub_c stub_c_output_w
("#define IN_STG_CODE 0\n" ++
"#include \"Rts.h\"\n" ++
rts_includes ++
return (stub_h_file_exists, stub_c_file_exists)
where
- -- C stubs for "foreign export"ed functions.
- stub_c_output_d = pprCode CStyle c_code
- stub_c_output_w = showSDoc stub_c_output_d
-
- -- Header file protos for "foreign export"ed functions.
- stub_h_output_d = pprCode CStyle h_code
- stub_h_output_w = showSDoc stub_h_output_d
+ (stub_c, stub_h) = mkStubPaths dflags mod location
cplusplus_hdr = "#ifdef __cplusplus\nextern \"C\" {\n#endif\n"
cplusplus_ftr = "#ifdef __cplusplus\n}\n#endif\n"
projects / ghc-hetmet.git / blobdiff