-----------------------------------------------------------------------------
--- $Id: DriverMkDepend.hs,v 1.4 2000/11/15 09:58:00 sewardj Exp $
+-- $Id: DriverMkDepend.hs,v 1.20 2002/03/21 09:00:54 simonpj Exp $
--
-- GHC Driver
--
#include "HsVersions.h"
-import CmSummarise -- for mkdependHS stuff
-import DriverState
-import DriverUtil
+import DriverState
+import DriverUtil ( add, softGetDirectoryContents )
import DriverFlags
-import TmpFiles
-import Module
-import Config
-import Util
+import SysTools ( newTempName )
+import qualified SysTools
+import Module ( ModuleName, moduleNameUserString, isHomeModule )
+import Finder ( findModuleDep )
+import HscTypes ( ModuleLocation(..) )
+import Util ( global )
+import Panic
import IOExts
import Exception
import Directory
import IO
-import Monad
-import Maybe
+import Monad ( when )
+import Maybe ( isJust )
+
+#if __GLASGOW_HASKELL__ <= 408
+import Util ( catchJust, ioErrors )
+#endif
-------------------------------------------------------------------------------
-- mkdependHS
-- flags
GLOBAL_VAR(v_Dep_makefile, "Makefile", String);
GLOBAL_VAR(v_Dep_include_prelude, False, Bool);
-GLOBAL_VAR(v_Dep_ignore_dirs, [], [String]);
+GLOBAL_VAR(v_Dep_exclude_mods, ["GHC.Prim"], [String]);
GLOBAL_VAR(v_Dep_suffixes, [], [String]);
GLOBAL_VAR(v_Dep_warnings, True, Bool);
-- for compatibility with the old mkDependHS, we accept options of the form
-- -optdep-f -optdep.depend, etc.
-dep_opts = [
- ( "s", SepArg (add v_Dep_suffixes) ),
- ( "f", SepArg (writeIORef v_Dep_makefile) ),
- ( "w", NoArg (writeIORef v_Dep_warnings False) ),
- ( "-include-prelude", NoArg (writeIORef v_Dep_include_prelude True) ),
- ( "X", Prefix (addToDirList v_Dep_ignore_dirs) ),
- ( "-exclude-directory=", Prefix (addToDirList v_Dep_ignore_dirs) )
- ]
+dep_opts =
+ [ ( "s", SepArg (add v_Dep_suffixes) )
+ , ( "f", SepArg (writeIORef v_Dep_makefile) )
+ , ( "w", NoArg (writeIORef v_Dep_warnings False) )
+ , ( "-include-prelude", NoArg (writeIORef v_Dep_include_prelude True) )
+ , ( "-exclude-module=", Prefix (add v_Dep_exclude_mods) )
+ , ( "x", Prefix (add v_Dep_exclude_mods) )
+ ]
beginMkDependHS :: IO ()
beginMkDependHS = do
-- reference.
import_dirs <- readIORef v_Import_paths
pkg_import_dirs <- getPackageImportPath
- import_dir_contents <- mapM getDirectoryContents import_dirs
- pkg_import_dir_contents <- mapM getDirectoryContents pkg_import_dirs
+ import_dir_contents <- mapM softGetDirectoryContents import_dirs
+ pkg_import_dir_contents <- mapM softGetDirectoryContents pkg_import_dirs
writeIORef v_Dep_dir_contents
(zip import_dirs import_dir_contents ++
zip pkg_import_dirs pkg_import_dir_contents)
- -- ignore packages unless --include-prelude is on
- include_prelude <- readIORef v_Dep_include_prelude
- when (not include_prelude) $
- mapM_ (add v_Dep_ignore_dirs) pkg_import_dirs
-
return ()
Nothing -> return ()
Just hdl -> do
- -- slurp the rest of the orignal makefile and copy it into the output
+ -- slurp the rest of the original makefile and copy it into the output
let slurp = do
l <- hGetLine hdl
hPutStrLn tmp_hdl l
hClose tmp_hdl -- make sure it's flushed
- -- create a backup of the original makefile
- when (isJust makefile_hdl) $
- run_something ("Backing up " ++ makefile)
- (unwords [ "cp", makefile, makefile++".bak" ])
-
- -- copy the new makefile in place
- run_something "Installing new makefile"
- (unwords [ "cp", tmp_file, makefile ])
-
-
-findDependency :: String -> ModImport -> IO (Maybe (String, Bool))
-findDependency mod imp = do
- dir_contents <- readIORef v_Dep_dir_contents
- ignore_dirs <- readIORef v_Dep_ignore_dirs
- hisuf <- readIORef v_Hi_suf
-
- let
- (imp_mod, is_source) =
- case imp of
- MINormal str -> (moduleNameUserString str, False)
- MISource str -> (moduleNameUserString str, True )
-
- imp_hi = imp_mod ++ '.':hisuf
- imp_hiboot = imp_mod ++ ".hi-boot"
- imp_hiboot_v = imp_mod ++ ".hi-boot-" ++ cHscIfaceFileVersion
- imp_hs = imp_mod ++ ".hs"
- imp_lhs = imp_mod ++ ".lhs"
-
- deps | is_source = [ imp_hiboot_v, imp_hiboot, imp_hs, imp_lhs ]
- | otherwise = [ imp_hi, imp_hs, imp_lhs ]
-
- search [] = throwDyn (OtherError ("can't find one of the following: " ++
- unwords (map (\d -> '`': d ++ "'") deps) ++
- " (imported from `" ++ mod ++ "')"))
- search ((dir, contents) : dirs)
- | null present = search dirs
- | otherwise =
- if dir `elem` ignore_dirs
- then return Nothing
- else if is_source
- then if dep /= imp_hiboot_v
- then return (Just (dir++'/':imp_hiboot, False))
- else return (Just (dir++'/':dep, False))
- else return (Just (dir++'/':imp_hi, not is_source))
- where
- present = filter (`elem` contents) deps
- dep = head present
-
- -- in
- search dir_contents
-
+ -- Create a backup of the original makefile
+ when (isJust makefile_hdl)
+ (SysTools.copy ("Backing up " ++ makefile) makefile (makefile++".bak"))
+
+ -- Copy the new makefile in place
+ SysTools.copy "Installing new makefile" tmp_file makefile
+
+
+findDependency :: Bool -> FilePath -> ModuleName -> IO (Maybe (String, Bool))
+findDependency is_source src imp = do
+ excl_mods <- readIORef v_Dep_exclude_mods
+ include_prelude <- readIORef v_Dep_include_prelude
+ let imp_mod = moduleNameUserString imp
+ if imp_mod `elem` excl_mods
+ then return Nothing
+ else do
+ r <- findModuleDep imp is_source
+ case r of
+ Just (mod,loc)
+ | isHomeModule mod || include_prelude
+ -> return (Just (ml_hi_file loc, not is_source))
+ | otherwise
+ -> return Nothing
+ Nothing -> throwDyn (ProgramError
+ (src ++ ": " ++ "can't locate import `" ++ imp_mod ++ "'" ++
+ if is_source then " (SOURCE import)" else ""))