[project @ 2000-11-16 16:23:03 by sewardj]
[ghc-hetmet.git] / ghc / compiler / main / TmpFiles.hs
1 -----------------------------------------------------------------------------
2 -- $Id: TmpFiles.hs,v 1.8 2000/10/30 09:52:15 simonpj Exp $
3 --
4 -- Temporary file management
5 --
6 -- (c) The University of Glasgow 2000
7 --
8 -----------------------------------------------------------------------------
9
10 module TmpFiles (
11    Suffix,
12    initTempFileStorage,  -- :: IO ()
13    cleanTempFiles,       -- :: IO ()
14    newTempName,          -- :: Suffix -> IO FilePath
15    addFilesToClean,      -- :: [FilePath] -> IO ()
16    v_TmpDir
17  ) where
18
19 -- main
20 import Config
21 import Util
22
23 -- hslibs
24 import Exception
25 import IOExts
26
27 -- std
28 import System
29 import Directory
30 import IO
31 import Monad
32
33 #include "HsVersions.h"
34
35 GLOBAL_VAR(v_FilesToClean, [],               [String] )
36 GLOBAL_VAR(v_TmpDir,       cDEFAULT_TMPDIR,  String   )
37
38
39 initTempFileStorage = do
40         -- check whether TMPDIR is set in the environment
41    IO.try (do dir <- getEnv "TMPDIR" -- fails if not set
42               writeIORef v_TmpDir dir)
43
44
45 cleanTempFiles :: Bool -> IO ()
46 cleanTempFiles verbose = do
47   fs <- readIORef v_FilesToClean
48
49   let blowAway f =
50            (do  when verbose (hPutStrLn stderr ("Removing: " ++ f))
51                 if '*' `elem` f then system ("rm -f " ++ f) >> return ()
52                                 else removeFile f)
53             `catchAllIO`
54            (\_ -> when verbose (hPutStrLn stderr 
55                                 ("Warning: can't remove tmp file " ++ f)))
56   mapM_ blowAway fs
57
58 type Suffix = String
59
60 -- find a temporary name that doesn't already exist.
61 newTempName :: Suffix -> IO FilePath
62 newTempName extn = do
63   x <- myGetProcessID
64   tmp_dir <- readIORef v_TmpDir
65   findTempName tmp_dir x
66   where findTempName tmp_dir x = do
67            let filename = tmp_dir ++ "/ghc" ++ show x ++ '.':extn
68            b  <- doesFileExist filename
69            if b then findTempName tmp_dir (x+1)
70                 else do add v_FilesToClean filename -- clean it up later
71                         return filename
72
73 addFilesToClean :: [FilePath] -> IO ()
74 addFilesToClean files = mapM_ (add v_FilesToClean) files
75
76 add :: IORef [a] -> a -> IO ()
77 add var x = do
78   xs <- readIORef var
79   writeIORef var (x:xs)
80