1 -----------------------------------------------------------------------------
3 -- (c) The University of Glasgow 2001
5 -- Access to system tools: gcc, cp, rm etc
7 -----------------------------------------------------------------------------
14 setPgmL, -- String -> IO ()
26 -- Command-line override
29 getTopDir, -- IO String -- The value of $libdir
30 getPackageConfigPath, -- IO String -- Where package.conf is
32 -- Interface to system tools
33 runUnlit, runCpp, runCc, -- [Option] -> IO ()
34 runPp, -- [Option] -> IO ()
35 runMangle, runSplit, -- [Option] -> IO ()
36 runAs, runLink, -- [Option] -> IO ()
39 runIlx2il, runIlasm, -- [String] -> IO ()
43 touch, -- String -> String -> IO ()
44 copy, -- String -> String -> String -> IO ()
45 normalisePath, -- FilePath -> FilePath
47 -- Temporary-file management
50 cleanTempFiles, cleanTempFilesExcept, removeTmpFiles,
54 getProcessID, -- IO Int
55 system, -- String -> IO ExitCode
58 showGhcUsage, -- IO () Shows usage message and exits
59 getSysMan, -- IO String Parallel system only
65 #include "HsVersions.h"
68 import DriverPhases ( haskellish_user_src_file )
71 import Panic ( progName, GhcException(..) )
72 import Util ( global, notNull )
73 import CmdLineOpts ( dynFlag, verbosity )
75 import EXCEPTION ( throwDyn )
76 import DATA_IOREF ( IORef, readIORef, writeIORef )
79 import Monad ( when, unless )
80 import System ( ExitCode(..), exitWith, getEnv, system )
81 import IO ( try, catch,
82 openFile, hPutChar, hPutStrLn, hPutStr, hClose, hFlush, IOMode(..),
84 import Directory ( doesFileExist, removeFile )
85 import List ( intersperse, partition )
87 #include "../includes/config.h"
89 -- GHC <= 4.08 didn't have rawSystem, and runs into problems with long command
90 -- lines on mingw32, so we disallow it now.
91 #if __GLASGOW_HASKELL__ < 500
92 #error GHC >= 5.00 is required for bootstrapping GHC
95 #ifndef mingw32_HOST_OS
96 #if __GLASGOW_HASKELL__ > 504
97 import qualified System.Posix.Internals
99 import qualified Posix
101 #else /* Must be Win32 */
102 import List ( isPrefixOf )
103 import Util ( dropList )
105 import CString ( CString, peekCString )
108 #if __GLASGOW_HASKELL__ < 601
109 import Foreign ( withMany, withArray0, nullPtr, Ptr )
110 import CForeign ( CString, withCString, throwErrnoIfMinus1 )
112 import System.Cmd ( rawSystem )
117 The configuration story
118 ~~~~~~~~~~~~~~~~~~~~~~~
120 GHC needs various support files (library packages, RTS etc), plus
121 various auxiliary programs (cp, gcc, etc). It finds these in one
124 * When running as an *installed program*, GHC finds most of this support
125 stuff in the installed library tree. The path to this tree is passed
126 to GHC via the -B flag, and given to initSysTools .
128 * When running *in-place* in a build tree, GHC finds most of this support
129 stuff in the build tree. The path to the build tree is, again passed
132 GHC tells which of the two is the case by seeing whether package.conf
133 is in TopDir [installed] or in TopDir/ghc/driver [inplace] (what a hack).
136 SysTools.initSysProgs figures out exactly where all the auxiliary programs
137 are, and initialises mutable variables to make it easy to call them.
138 To to this, it makes use of definitions in Config.hs, which is a Haskell
139 file containing variables whose value is figured out by the build system.
141 Config.hs contains two sorts of things
143 cGCC, The *names* of the programs
146 etc They do *not* include paths
149 cUNLIT_DIR_REL The *path* to the directory containing unlit, split etc
150 cSPLIT_DIR_REL *relative* to the root of the build tree,
151 for use when running *in-place* in a build tree (only)
155 ---------------------------------------------
156 NOTES for an ALTERNATIVE scheme (i.e *not* what is currently implemented):
158 Another hair-brained scheme for simplifying the current tool location
159 nightmare in GHC: Simon originally suggested using another
160 configuration file along the lines of GCC's specs file - which is fine
161 except that it means adding code to read yet another configuration
162 file. What I didn't notice is that the current package.conf is
163 general enough to do this:
166 {name = "tools", import_dirs = [], source_dirs = [],
167 library_dirs = [], hs_libraries = [], extra_libraries = [],
168 include_dirs = [], c_includes = [], package_deps = [],
169 extra_ghc_opts = ["-pgmc/usr/bin/gcc","-pgml${libdir}/bin/unlit", ... etc.],
170 extra_cc_opts = [], extra_ld_opts = []}
172 Which would have the advantage that we get to collect together in one
173 place the path-specific package stuff with the path-specific tool
176 ---------------------------------------------
179 %************************************************************************
181 \subsection{Global variables to contain system programs}
183 %************************************************************************
185 All these pathnames are maintained IN THE NATIVE FORMAT OF THE HOST MACHINE.
186 (See remarks under pathnames below)
189 GLOBAL_VAR(v_Pgm_L, error "pgm_L", String) -- unlit
190 GLOBAL_VAR(v_Pgm_P, error "pgm_P", (String,[Option])) -- cpp
191 GLOBAL_VAR(v_Pgm_F, error "pgm_F", String) -- pp
192 GLOBAL_VAR(v_Pgm_c, error "pgm_c", String) -- gcc
193 GLOBAL_VAR(v_Pgm_m, error "pgm_m", String) -- asm code mangler
194 GLOBAL_VAR(v_Pgm_s, error "pgm_s", String) -- asm code splitter
195 GLOBAL_VAR(v_Pgm_a, error "pgm_a", String) -- as
197 GLOBAL_VAR(v_Pgm_I, error "pgm_I", String) -- ilx2il
198 GLOBAL_VAR(v_Pgm_i, error "pgm_i", String) -- ilasm
200 GLOBAL_VAR(v_Pgm_l, error "pgm_l", String) -- ld
201 GLOBAL_VAR(v_Pgm_MkDLL, error "pgm_dll", String) -- mkdll
203 GLOBAL_VAR(v_Pgm_T, error "pgm_T", String) -- touch
204 GLOBAL_VAR(v_Pgm_CP, error "pgm_CP", String) -- cp
206 GLOBAL_VAR(v_Path_package_config, error "path_package_config", String)
207 GLOBAL_VAR(v_Path_usage, error "ghc_usage.txt", String)
209 GLOBAL_VAR(v_TopDir, error "TopDir", String) -- -B<dir>
211 -- Parallel system only
212 GLOBAL_VAR(v_Pgm_sysman, error "pgm_sysman", String) -- system manager
214 -- ways to get at some of these variables from outside this module
215 getPackageConfigPath = readIORef v_Path_package_config
216 getTopDir = readIORef v_TopDir
220 %************************************************************************
222 \subsection{Initialisation}
224 %************************************************************************
227 initSysTools :: [String] -- Command-line arguments starting "-B"
229 -> IO () -- Set all the mutable variables above, holding
230 -- (a) the system programs
231 -- (b) the package-config file
232 -- (c) the GHC usage message
235 initSysTools minusB_args
236 = do { (am_installed, top_dir) <- findTopDir minusB_args
237 ; writeIORef v_TopDir top_dir
239 -- for "installed" this is the root of GHC's support files
240 -- for "in-place" it is the root of the build tree
241 -- NB: top_dir is assumed to be in standard Unix format '/' separated
243 ; let installed, installed_bin :: FilePath -> FilePath
244 installed_bin pgm = pgmPath top_dir pgm
245 installed file = pgmPath top_dir file
246 inplace dir pgm = pgmPath (top_dir `slash`
247 cPROJECT_DIR `slash` dir) pgm
250 | am_installed = installed "package.conf"
251 | otherwise = inplace cGHC_DRIVER_DIR_REL "package.conf.inplace"
254 | am_installed = installed "ghc-usage.txt"
255 | otherwise = inplace cGHC_DRIVER_DIR_REL "ghc-usage.txt"
257 -- For all systems, unlit, split, mangle are GHC utilities
258 -- architecture-specific stuff is done when building Config.hs
260 | am_installed = installed_bin cGHC_UNLIT_PGM
261 | otherwise = inplace cGHC_UNLIT_DIR_REL cGHC_UNLIT_PGM
263 -- split and mangle are Perl scripts
265 | am_installed = installed_bin cGHC_SPLIT_PGM
266 | otherwise = inplace cGHC_SPLIT_DIR_REL cGHC_SPLIT_PGM
269 | am_installed = installed_bin cGHC_MANGLER_PGM
270 | otherwise = inplace cGHC_MANGLER_DIR_REL cGHC_MANGLER_PGM
272 #ifndef mingw32_HOST_OS
273 -- check whether TMPDIR is set in the environment
274 ; IO.try (do dir <- getEnv "TMPDIR" -- fails if not set
279 -- On Win32, consult GetTempPath() for a temp dir.
280 -- => it first tries TMP, TEMP, then finally the
281 -- Windows directory(!). The directory is in short-path
284 let len = (2048::Int)
285 buf <- mallocArray len
286 ret <- getTempPath len buf
289 -- failed, consult TMPDIR.
299 -- Check that the package config exists
300 ; config_exists <- doesFileExist pkgconfig_path
301 ; when (not config_exists) $
302 throwDyn (InstallationError
303 ("Can't find package.conf as " ++ pkgconfig_path))
305 #if defined(mingw32_HOST_OS)
306 -- WINDOWS-SPECIFIC STUFF
307 -- On Windows, gcc and friends are distributed with GHC,
308 -- so when "installed" we look in TopDir/bin
309 -- When "in-place" we look wherever the build-time configure
311 -- When "install" we tell gcc where its specs file + exes are (-B)
312 -- and also some places to pick up include files. We need
313 -- to be careful to put all necessary exes in the -B place
314 -- (as, ld, cc1, etc) since if they don't get found there, gcc
315 -- then tries to run unadorned "as", "ld", etc, and will
316 -- pick up whatever happens to be lying around in the path,
317 -- possibly including those from a cygwin install on the target,
318 -- which is exactly what we're trying to avoid.
319 ; let gcc_path | am_installed = installed_bin ("gcc -B\"" ++ installed "gcc-lib/\"")
321 -- The trailing "/" is absolutely essential; gcc seems
322 -- to construct file names simply by concatenating to this
323 -- -B path with no extra slash
324 -- We use "/" rather than "\\" because otherwise "\\\" is mangled
325 -- later on; although gcc_path is in NATIVE format, gcc can cope
326 -- (see comments with declarations of global variables)
328 -- The quotes round the -B argument are in case TopDir has spaces in it
330 perl_path | am_installed = installed_bin cGHC_PERL
331 | otherwise = cGHC_PERL
333 -- 'touch' is a GHC util for Windows, and similarly unlit, mangle
334 ; let touch_path | am_installed = installed_bin cGHC_TOUCHY_PGM
335 | otherwise = inplace cGHC_TOUCHY_DIR_REL cGHC_TOUCHY_PGM
337 -- On Win32 we don't want to rely on #!/bin/perl, so we prepend
338 -- a call to Perl to get the invocation of split and mangle
339 ; let split_path = perl_path ++ " \"" ++ split_script ++ "\""
340 mangle_path = perl_path ++ " \"" ++ mangle_script ++ "\""
343 | am_installed = pgmPath (installed "gcc-lib/") cMKDLL ++
344 " --dlltool-name " ++ pgmPath (installed "gcc-lib/") "dlltool" ++
345 " --driver-name " ++ gcc_path
348 -- UNIX-SPECIFIC STUFF
349 -- On Unix, the "standard" tools are assumed to be
350 -- in the same place whether we are running "in-place" or "installed"
351 -- That place is wherever the build-time configure script found them.
352 ; let gcc_path = cGCC
354 mkdll_path = panic "Can't build DLLs on a non-Win32 system"
356 -- On Unix, scripts are invoked using the '#!' method. Binary
357 -- installations of GHC on Unix place the correct line on the front
358 -- of the script at installation time, so we don't want to wire-in
359 -- our knowledge of $(PERL) on the host system here.
360 ; let split_path = split_script
361 mangle_path = mangle_script
364 -- cpp is derived from gcc on all platforms
365 -- HACK, see setPgmP below. We keep 'words' here to remember to fix
366 -- Config.hs one day.
367 ; let cpp_path = (gcc_path, (Option "-E"):(map Option (words cRAWCPP_FLAGS)))
369 -- For all systems, copy and remove are provided by the host
370 -- system; architecture-specific stuff is done when building Config.hs
371 ; let cp_path = cGHC_CP
373 -- Other things being equal, as and ld are simply gcc
374 ; let as_path = gcc_path
378 -- ilx2il and ilasm are specified in Config.hs
379 ; let ilx2il_path = cILX2IL
383 -- Initialise the global vars
384 ; writeIORef v_Path_package_config pkgconfig_path
385 ; writeIORef v_Path_usage ghc_usage_msg_path
387 ; writeIORef v_Pgm_sysman (top_dir ++ "/ghc/rts/parallel/SysMan")
388 -- Hans: this isn't right in general, but you can
389 -- elaborate it in the same way as the others
391 ; writeIORef v_Pgm_L unlit_path
392 ; writeIORef v_Pgm_P cpp_path
393 ; writeIORef v_Pgm_F ""
394 ; writeIORef v_Pgm_c gcc_path
395 ; writeIORef v_Pgm_m mangle_path
396 ; writeIORef v_Pgm_s split_path
397 ; writeIORef v_Pgm_a as_path
399 ; writeIORef v_Pgm_I ilx2il_path
400 ; writeIORef v_Pgm_i ilasm_path
402 ; writeIORef v_Pgm_l ld_path
403 ; writeIORef v_Pgm_MkDLL mkdll_path
404 ; writeIORef v_Pgm_T touch_path
405 ; writeIORef v_Pgm_CP cp_path
410 #if defined(mingw32_HOST_OS)
411 foreign import stdcall "GetTempPathA" unsafe getTempPath :: Int -> CString -> IO Int32
415 The various setPgm functions are called when a command-line option
420 is used to override a particular program with a new one
423 setPgmL = writeIORef v_Pgm_L
424 -- XXX HACK: Prelude> words "'does not' work" ===> ["'does","not'","work"]
425 -- Config.hs should really use Option.
426 setPgmP arg = let (pgm:args) = words arg in writeIORef v_Pgm_P (pgm,map Option args)
427 setPgmF = writeIORef v_Pgm_F
428 setPgmc = writeIORef v_Pgm_c
429 setPgmm = writeIORef v_Pgm_m
430 setPgms = writeIORef v_Pgm_s
431 setPgma = writeIORef v_Pgm_a
432 setPgml = writeIORef v_Pgm_l
434 setPgmI = writeIORef v_Pgm_I
435 setPgmi = writeIORef v_Pgm_i
442 -- for "installed" this is the root of GHC's support files
443 -- for "in-place" it is the root of the build tree
446 -- 1. Set proto_top_dir
447 -- a) look for (the last) -B flag, and use it
448 -- b) if there are no -B flags, get the directory
449 -- where GHC is running (only on Windows)
451 -- 2. If package.conf exists in proto_top_dir, we are running
452 -- installed; and TopDir = proto_top_dir
454 -- 3. Otherwise we are running in-place, so
455 -- proto_top_dir will be /...stuff.../ghc/compiler
456 -- Set TopDir to /...stuff..., which is the root of the build tree
458 -- This is very gruesome indeed
460 findTopDir :: [String]
461 -> IO (Bool, -- True <=> am installed, False <=> in-place
462 String) -- TopDir (in Unix format '/' separated)
465 = do { top_dir <- get_proto
466 -- Discover whether we're running in a build tree or in an installation,
467 -- by looking for the package configuration file.
468 ; am_installed <- doesFileExist (top_dir `slash` "package.conf")
470 ; return (am_installed, top_dir)
473 -- get_proto returns a Unix-format path (relying on getBaseDir to do so too)
474 get_proto | notNull minusbs
475 = return (normalisePath (drop 2 (last minusbs))) -- 2 for "-B"
477 = do { maybe_exec_dir <- getBaseDir -- Get directory of executable
478 ; case maybe_exec_dir of -- (only works on Windows;
479 -- returns Nothing on Unix)
480 Nothing -> throwDyn (InstallationError "missing -B<dir> option")
481 Just dir -> return dir
486 %************************************************************************
488 \subsection{Command-line options}
490 %************************************************************************
492 When invoking external tools as part of the compilation pipeline, we
493 pass these a sequence of options on the command-line. Rather than
494 just using a list of Strings, we use a type that allows us to distinguish
495 between filepaths and 'other stuff'. [The reason being, of course, that
496 this type gives us a handle on transforming filenames, and filenames only,
497 to whatever format they're expected to be on a particular platform.]
501 = FileOption -- an entry that _contains_ filename(s) / filepaths.
502 String -- a non-filepath prefix that shouldn't be transformed (e.g., "/out="
503 String -- the filepath/filename portion
506 showOpt (FileOption pre f) = pre ++ platformPath f
507 showOpt (Option "") = ""
508 showOpt (Option s) = s
513 %************************************************************************
515 \subsection{Running an external program}
517 %************************************************************************
521 runUnlit :: [Option] -> IO ()
522 runUnlit args = do p <- readIORef v_Pgm_L
523 runSomething "Literate pre-processor" p args
525 runCpp :: [Option] -> IO ()
526 runCpp args = do (p,baseArgs) <- readIORef v_Pgm_P
527 runSomething "C pre-processor" p (baseArgs ++ args)
529 runPp :: [Option] -> IO ()
530 runPp args = do p <- readIORef v_Pgm_F
531 runSomething "Haskell pre-processor" p args
533 runCc :: [Option] -> IO ()
534 runCc args = do p <- readIORef v_Pgm_c
535 runSomething "C Compiler" p args
537 runMangle :: [Option] -> IO ()
538 runMangle args = do p <- readIORef v_Pgm_m
539 runSomething "Mangler" p args
541 runSplit :: [Option] -> IO ()
542 runSplit args = do p <- readIORef v_Pgm_s
543 runSomething "Splitter" p args
545 runAs :: [Option] -> IO ()
546 runAs args = do p <- readIORef v_Pgm_a
547 runSomething "Assembler" p args
549 runLink :: [Option] -> IO ()
550 runLink args = do p <- readIORef v_Pgm_l
551 runSomething "Linker" p args
554 runIlx2il :: [Option] -> IO ()
555 runIlx2il args = do p <- readIORef v_Pgm_I
556 runSomething "Ilx2Il" p args
558 runIlasm :: [Option] -> IO ()
559 runIlasm args = do p <- readIORef v_Pgm_i
560 runSomething "Ilasm" p args
563 runMkDLL :: [Option] -> IO ()
564 runMkDLL args = do p <- readIORef v_Pgm_MkDLL
565 runSomething "Make DLL" p args
567 touch :: String -> String -> IO ()
568 touch purpose arg = do p <- readIORef v_Pgm_T
569 runSomething purpose p [FileOption "" arg]
571 copy :: String -> String -> String -> IO ()
572 copy purpose from to = do
573 verb <- dynFlag verbosity
574 when (verb >= 2) $ hPutStrLn stderr ("*** " ++ purpose)
576 h <- openFile to WriteMode
577 ls <- readFile from -- inefficient, but it'll do for now.
578 -- ToDo: speed up via slurping.
584 getSysMan :: IO String -- How to invoke the system manager
585 -- (parallel system only)
586 getSysMan = readIORef v_Pgm_sysman
589 %************************************************************************
591 \subsection{GHC Usage message}
593 %************************************************************************
595 Show the usage message and exit
598 showGhcUsage = do { usage_path <- readIORef v_Path_usage
599 ; usage <- readFile usage_path
601 ; exitWith ExitSuccess }
604 dump ('$':'$':s) = hPutStr stderr progName >> dump s
605 dump (c:s) = hPutChar stderr c >> dump s
609 %************************************************************************
611 \subsection{Managing temporary files
613 %************************************************************************
616 GLOBAL_VAR(v_FilesToClean, [], [String] )
617 GLOBAL_VAR(v_TmpDir, cDEFAULT_TMPDIR, String )
618 -- v_TmpDir has no closing '/'
622 setTmpDir dir = writeIORef v_TmpDir (canonicalise dir)
624 #if !defined(mingw32_HOST_OS)
625 canonicalise p = normalisePath p
627 -- Canonicalisation of temp path under win32 is a bit more
628 -- involved: (a) strip trailing slash,
629 -- (b) normalise slashes
630 -- (c) just in case, if there is a prefix /cygdrive/x/, change to x:
632 canonicalise path = normalisePath (xltCygdrive (removeTrailingSlash path))
634 -- if we're operating under cygwin, and TMP/TEMP is of
635 -- the form "/cygdrive/drive/path", translate this to
636 -- "drive:/path" (as GHC isn't a cygwin app and doesn't
637 -- understand /cygdrive paths.)
639 | "/cygdrive/" `isPrefixOf` path =
640 case drop (length "/cygdrive/") path of
641 drive:xs@('/':_) -> drive:':':xs
645 -- strip the trailing backslash (awful, but we only do this once).
646 removeTrailingSlash path =
653 cleanTempFiles :: Int -> IO ()
655 = do fs <- readIORef v_FilesToClean
656 removeTmpFiles verb fs
657 writeIORef v_FilesToClean []
659 cleanTempFilesExcept :: Int -> [FilePath] -> IO ()
660 cleanTempFilesExcept verb dont_delete
661 = do files <- readIORef v_FilesToClean
662 let (to_keep, to_delete) = partition (`elem` dont_delete) files
663 removeTmpFiles verb to_delete
664 writeIORef v_FilesToClean to_keep
667 -- find a temporary name that doesn't already exist.
668 newTempName :: Suffix -> IO FilePath
670 = do x <- getProcessID
671 tmp_dir <- readIORef v_TmpDir
672 findTempName tmp_dir x
674 findTempName tmp_dir x
675 = do let filename = tmp_dir ++ "/ghc" ++ show x ++ '.':extn
676 b <- doesFileExist filename
677 if b then findTempName tmp_dir (x+1)
678 else do add v_FilesToClean filename -- clean it up later
681 addFilesToClean :: [FilePath] -> IO ()
682 -- May include wildcards [used by DriverPipeline.run_phase SplitMangle]
683 addFilesToClean files = mapM_ (add v_FilesToClean) files
685 removeTmpFiles :: Int -> [FilePath] -> IO ()
686 removeTmpFiles verb fs
688 traceCmd "Deleting temp files"
689 ("Deleting: " ++ unwords deletees)
692 -- Flat out refuse to delete files that are likely to be source input
693 -- files (is there a worse bug than having a compiler delete your source
696 -- Deleting source files is a sign of a bug elsewhere, so prominently flag
699 | null non_deletees = act
701 hPutStrLn stderr ("WARNING - NOT deleting source files: " ++ unwords non_deletees)
704 (non_deletees, deletees) = partition haskellish_user_src_file fs
706 rm f = removeFile f `IO.catch`
709 hPutStrLn stderr ("Warning: deleting non-existent " ++ f)
715 %************************************************************************
717 \subsection{Running a program}
719 %************************************************************************
722 GLOBAL_VAR(v_Dry_run, False, Bool)
725 setDryRun = writeIORef v_Dry_run True
727 -----------------------------------------------------------------------------
728 -- Running an external program
730 runSomething :: String -- For -v message
731 -> String -- Command name (possibly a full path)
732 -- assumed already dos-ified
733 -> [Option] -- Arguments
734 -- runSomething will dos-ify them
737 runSomething phase_name pgm args = do
738 let real_args = filter notNull (map showOpt args)
739 traceCmd phase_name (concat (intersperse " " (pgm:real_args))) $ do
740 exit_code <- rawSystem pgm real_args
741 if (exit_code /= ExitSuccess)
742 then throwDyn (PhaseFailed phase_name exit_code)
745 traceCmd :: String -> String -> IO () -> IO ()
746 -- a) trace the command (at two levels of verbosity)
747 -- b) don't do it at all if dry-run is set
748 traceCmd phase_name cmd_line action
749 = do { verb <- dynFlag verbosity
750 ; when (verb >= 2) $ hPutStrLn stderr ("*** " ++ phase_name)
751 ; when (verb >= 3) $ hPutStrLn stderr cmd_line
755 ; n <- readIORef v_Dry_run
759 ; action `IO.catch` handle_exn verb
762 handle_exn verb exn = do { when (verb >= 2) (hPutStr stderr "\n")
763 ; when (verb >= 3) (hPutStrLn stderr ("Failed: " ++ cmd_line ++ (show exn)))
764 ; throwDyn (PhaseFailed phase_name (ExitFailure 1)) }
766 -- -----------------------------------------------------------------------------
767 -- rawSystem: run an external command
769 #if __GLASGOW_HASKELL__ < 601
771 -- This code is copied from System.Cmd on GHC 6.1.
773 rawSystem :: FilePath -> [String] -> IO ExitCode
775 #ifndef mingw32_TARGET_OS
778 withCString cmd $ \pcmd ->
779 withMany withCString (cmd:args) $ \cstrs ->
780 withArray0 nullPtr cstrs $ \arr -> do
781 status <- throwErrnoIfMinus1 "rawSystem" (c_rawSystem pcmd arr)
783 0 -> return ExitSuccess
784 n -> return (ExitFailure n)
786 foreign import ccall "rawSystem" unsafe
787 c_rawSystem :: CString -> Ptr CString -> IO Int
791 -- On Windows, the command line is passed to the operating system as
792 -- a single string. Command-line parsing is done by the executable
794 rawSystem cmd args = do
795 let cmdline = {-translate-} cmd ++ concat (map ((' ':) . translate) args)
796 -- Urk, don't quote/escape the command name on Windows, because the
797 -- compiler is exceedingly naughty and sometimes uses 'perl "..."'
798 -- as the command name.
799 withCString cmdline $ \pcmdline -> do
800 status <- throwErrnoIfMinus1 "rawSystem" (c_rawSystem pcmdline)
802 0 -> return ExitSuccess
803 n -> return (ExitFailure n)
805 translate :: String -> String
806 translate str = '"' : foldr escape "\"" str
807 where escape '"' str = '\\' : '"' : str
808 escape '\\' str = '\\' : '\\' : str
809 escape c str = c : str
811 foreign import ccall "rawSystem" unsafe
812 c_rawSystem :: CString -> IO Int
819 %************************************************************************
821 \subsection{Path names}
823 %************************************************************************
825 We maintain path names in Unix form ('/'-separated) right until
826 the last moment. On Windows we dos-ify them just before passing them
827 to the Windows command.
829 The alternative, of using '/' consistently on Unix and '\' on Windows,
830 proved quite awkward. There were a lot more calls to platformPath,
831 and even on Windows we might invoke a unix-like utility (eg 'sh'), which
832 interpreted a command line 'foo\baz' as 'foobaz'.
835 -----------------------------------------------------------------------------
836 -- Convert filepath into platform / MSDOS form.
838 normalisePath :: String -> String
839 -- Just changes '\' to '/'
841 pgmPath :: String -- Directory string in Unix format
842 -> String -- Program name with no directory separators
844 -> String -- Program invocation string in native format
848 #if defined(mingw32_HOST_OS)
849 --------------------- Windows version ------------------
850 normalisePath xs = subst '\\' '/' xs
851 platformPath p = subst '/' '\\' p
852 pgmPath dir pgm = platformPath dir ++ '\\' : pgm
854 subst a b ls = map (\ x -> if x == a then b else x) ls
856 --------------------- Non-Windows version --------------
857 normalisePath xs = xs
858 pgmPath dir pgm = dir ++ '/' : pgm
859 platformPath stuff = stuff
860 --------------------------------------------------------
866 -----------------------------------------------------------------------------
867 Path name construction
870 slash :: String -> String -> String
871 absPath, relPath :: [String] -> String
874 relPath xs = foldr1 slash xs
876 absPath xs = "" `slash` relPath xs
878 slash s1 s2 = s1 ++ ('/' : s2)
882 %************************************************************************
884 \subsection{Support code}
886 %************************************************************************
889 -----------------------------------------------------------------------------
890 -- Define getBaseDir :: IO (Maybe String)
892 #if defined(mingw32_HOST_OS)
893 getBaseDir :: IO (Maybe String)
894 -- Assuming we are running ghc, accessed by path $()/bin/ghc.exe,
895 -- return the path $(stuff). Note that we drop the "bin/" directory too.
896 getBaseDir = do let len = (2048::Int) -- plenty, PATH_MAX is 512 under Win32.
897 buf <- mallocArray len
898 ret <- getModuleFileName nullPtr buf len
899 if ret == 0 then free buf >> return Nothing
900 else do s <- peekCString buf
902 return (Just (rootDir s))
904 rootDir s = reverse (dropList "/bin/ghc.exe" (reverse (normalisePath s)))
906 foreign import stdcall "GetModuleFileNameA" unsafe
907 getModuleFileName :: Ptr () -> CString -> Int -> IO Int32
909 getBaseDir :: IO (Maybe String) = do return Nothing
912 #ifdef mingw32_HOST_OS
913 foreign import ccall "_getpid" unsafe getProcessID :: IO Int -- relies on Int == Int32 on Windows
914 #elif __GLASGOW_HASKELL__ > 504
915 getProcessID :: IO Int
916 getProcessID = System.Posix.Internals.c_getpid >>= return . fromIntegral
918 getProcessID :: IO Int
919 getProcessID = Posix.getProcessID