-----------------------------------------------------------------------------
--- $Id: DriverMkDepend.hs,v 1.18 2002/03/05 14:30:51 simonmar Exp $
+-- $Id: DriverMkDepend.hs,v 1.31 2003/11/17 14:23:38 simonmar Exp $
--
-- GHC Driver
--
--
-----------------------------------------------------------------------------
-module DriverMkDepend where
+module DriverMkDepend (
+ doMkDependHSPhase, beginMkDependHS, endMkDependHS
+ ) where
#include "HsVersions.h"
-import DriverState
+import GetImports ( getImports )
+import DriverState
import DriverUtil
import DriverFlags
import SysTools ( newTempName )
import qualified SysTools
-import Module
-import Module ( isHomeModule )
-import Finder ( findModuleDep )
-import HscTypes ( ModuleLocation(..) )
-import Util
+import Module ( ModuleName, ModLocation(..),
+ moduleNameUserString, isHomeModule )
+import Finder ( findModule, hiBootExt, hiBootVerExt,
+ mkHomeModLocation )
+import Util ( global )
import Panic
-import IOExts
-import Exception
+import DATA_IOREF ( IORef, readIORef, writeIORef )
+import EXCEPTION
import Directory
import IO
-import Monad
-import Maybe
+import Monad ( when )
+import Maybe ( isJust )
+
+#if __GLASGOW_HASKELL__ <= 408
+import Panic ( catchJust, ioErrors )
+#endif
-------------------------------------------------------------------------------
-- mkdependHS
return ()
+doMkDependHSPhase basename suff input_fn
+ = do src <- readFile input_fn
+ let (import_sources, import_normals, mod_name) = getImports src
+ let orig_fn = basename ++ '.':suff
+ (_, location') <- mkHomeModLocation mod_name orig_fn
+
+ -- take -ohi into account if present
+ ohi <- readIORef v_Output_hi
+ let location | Just fn <- ohi = location'{ ml_hi_file = fn }
+ | otherwise = location'
+
+ deps_sources <- mapM (findDependency True orig_fn) import_sources
+ deps_normals <- mapM (findDependency False orig_fn) import_normals
+ let deps = deps_sources ++ deps_normals
+
+ osuf <- readIORef v_Object_suf
+ extra_suffixes <- readIORef v_Dep_suffixes
+ let suffixes = map (++ ('_':osuf)) extra_suffixes
+ obj_file = ml_obj_file location
+ objs = obj_file : map (replaceFilenameSuffix obj_file) suffixes
+
+ -- Handle for file that accumulates dependencies
+ hdl <- readIORef v_Dep_tmp_hdl
+
+ -- std dependency of the object(s) on the source file
+ hPutStrLn hdl (unwords (map escapeSpaces objs) ++ " : " ++
+ escapeSpaces (basename ++ '.':suff))
+
+ let genDep (dep, False {- not an hi file -}) =
+ hPutStrLn hdl (unwords (map escapeSpaces objs) ++ " : " ++
+ escapeSpaces dep)
+ genDep (dep, True {- is an hi file -}) = do
+ hisuf <- readIORef v_Hi_suf
+ let dep_base = remove_suffix '.' dep
+ deps = (dep_base ++ hisuf)
+ : map (\suf -> dep_base ++ suf ++ '_':hisuf) extra_suffixes
+ -- length objs should be == length deps
+ sequence_ (zipWith (\o d -> hPutStrLn hdl (escapeSpaces o ++ " : " ++ escapeSpaces d)) objs deps)
+
+ sequence_ (map genDep [ d | Just d <- deps ])
+ return location
+
+-- add the lines to dep_makefile:
+ -- always:
+ -- this.o : this.hs
+
+ -- if the dependency is on something other than a .hi file:
+ -- this.o this.p_o ... : dep
+ -- otherwise
+ -- if the import is {-# SOURCE #-}
+ -- this.o this.p_o ... : dep.hi-boot[-$vers]
+
+ -- else
+ -- this.o ... : dep.hi
+ -- this.p_o ... : dep.p_hi
+ -- ...
+
+ -- (where .o is $osuf, and the other suffixes come from
+ -- the cmdline -s options).
+
+
+
endMkDependHS :: IO ()
endMkDependHS = do
makefile <- readIORef v_Dep_makefile
if imp_mod `elem` excl_mods
then return Nothing
else do
- r <- findModuleDep imp is_source
+ r <- findModule imp
case r of
- Just (mod,loc)
- | isHomeModule mod || include_prelude
- -> return (Just (ml_hi_file loc, not is_source))
- | otherwise
+ Right (mod,loc)
+ -- not in this package: we don't need a dependency
+ | not (isHomeModule mod) && not include_prelude
-> return Nothing
- Nothing -> throwDyn (ProgramError
- (src ++ ": " ++ "can't locate import `" ++ imp_mod ++ "'"))
+
+ -- normal import: just depend on the .hi file
+ | not is_source
+ -> return (Just (ml_hi_file loc, not is_source))
+
+ -- if it's a source import, we want to generate a dependency
+ -- on the .hi-boot file, not the .hi file
+ | otherwise
+ -> let hi_file = ml_hi_file loc
+ boot_hi_file = replaceFilenameSuffix hi_file hiBootExt
+ boot_ver_hi_file = replaceFilenameSuffix hi_file hiBootVerExt
+ in do
+ b <- doesFileExist boot_ver_hi_file
+ if b
+ then return (Just (boot_ver_hi_file, not is_source))
+ else do
+ b <- doesFileExist boot_hi_file
+ if b
+ then return (Just (boot_hi_file, not is_source))
+ else return (Just (hi_file, not is_source))
+
+ Left _ -> throwDyn (ProgramError
+ (src ++ ": " ++ "can't locate import `" ++ imp_mod ++ "'" ++
+ if is_source then " (SOURCE import)" else ""))
projects / ghc-hetmet.git / blobdiff