+{-# OPTIONS -fglasgow-exts #-}
+
------------------------------------------------------------------------
--- $Id: Main.hs,v 1.35 2002/01/17 08:37:57 sof Exp $
+-- $Id: Main.hs,v 1.47 2003/05/20 11:07:54 stolz Exp $
--
-- Program for converting .hsc files to .hs files, by converting the
-- file into a C program which is run to generate the Haskell source.
--
-- See the documentation in the Users' Guide for more details.
+#if __GLASGOW_HASKELL__ >= 504
+import System.Console.GetOpt
+#else
import GetOpt
+#endif
+
import Config
import System (getProgName, getArgs, ExitCode(..), exitWith, exitFailure, system)
-import Directory (removeFile)
+import Directory (removeFile,doesFileExist)
import Monad (MonadPlus(..), liftM, liftM2, when, unless)
import Char (isAlpha, isAlphaNum, isSpace, isDigit, toUpper, intToDigit, ord)
import List (intersperse)
+import IO (hPutStrLn,stderr)
#include "../../includes/config.h"
-#ifdef mingw32_TARGET_OS
-import Win32DLL
+#ifdef mingw32_HOST_OS
+import Foreign
+
+#if __GLASGOW_HASKELL__ >= 504
+import Foreign.C.String
+#else
+import CString
#endif
+#endif
+
+
version :: String
version = "hsc2hs-0.65"
| Include String
| Define String (Maybe String)
| Output String
+ | Verbose
+
+template_flag (Template _) = True
+template_flag _ = False
include :: String -> Flag
include s@('\"':_) = Include s
Option "D" ["define"] (ReqArg define "NAME[=VALUE]") "as if placed in the source",
Option "o" ["output"] (ReqArg Output "FILE") "name of main output file",
Option "" ["help"] (NoArg Help) "display this help and exit",
+ Option "v" ["verbose"] (NoArg Verbose) "dump commands to stderr",
Option "" ["version"] (NoArg Version) "output version information and exit",
Option "" ["no-compile"] (NoArg NoCompile) "stop after writing *_hsc_make.c"]
+
main :: IO ()
main = do
prog <- getProgName
let header = "Usage: "++prog++" [OPTIONS] INPUT.hsc [...]"
args <- getArgs
- let opts@(flags, files, errs) = getOpt Permute options args
-#ifdef mingw32_TARGET_OS
- h <- getModuleHandle Nothing
- n <- getModuleFileName h
- let tempName = reverse (drop (length "\\bin\\hsc2hs.exe") (reverse n)) ++ "\\template-hsc.h"
- let fflags = if [t | Template t <- flags] /= [] then flags else (Template tempName) : flags
- let opts = (fflags, files, errs)
-#endif
- case opts of
- (flags, _, _)
- | any isHelp flags -> putStrLn (usageInfo header options)
- | any isVersion flags -> putStrLn version
+ let (flags, files, errs) = getOpt Permute options args
+
+ -- If there is no Template flag explicitly specified, try
+ -- to find one by looking near the executable. This only
+ -- works on Win32 (getExecDir). On Unix, there's a wrapper
+ -- script which specifies an explicit template flag.
+ flags_w_tpl <- if any template_flag flags then
+ return flags
+ else
+ do mb_path <- getExecDir "/bin/hsc2hs.exe"
+ add_opt <-
+ case mb_path of
+ Nothing -> return id
+ Just path -> do
+ let templ = path ++ "/template-hsc.h"
+ flg <- doesFileExist templ
+ if flg
+ then return ((Template templ):)
+ else return id
+ return (add_opt flags)
+ case (files, errs) of
+ (_, _)
+ | any isHelp flags_w_tpl -> putStrLn (usageInfo header options)
+ | any isVersion flags_w_tpl -> putStrLn version
where
isHelp Help = True; isHelp _ = False
isVersion Version = True; isVersion _ = False
- (_, [], []) -> putStrLn (prog++": No input files")
- (flags, files, []) -> mapM_ (processFile flags) files
- (_, _, errs) -> do
- mapM_ putStrLn errs
- putStrLn (usageInfo header options)
- exitFailure
+ ([], []) -> putStrLn (prog++": No input files")
+ (files, []) -> mapM_ (processFile flags_w_tpl) files
+ (_, errs) -> do { mapM_ putStrLn errs ;
+ putStrLn (usageInfo header options) ;
+ exitFailure }
processFile :: [Flag] -> String -> IO ()
-processFile flags name = do
- s <- readFile name
- case parser of
- Parser p -> case p (SourcePos name 1) s of
- Success _ _ _ toks -> output flags name toks
- Failure (SourcePos name' line) msg -> do
- putStrLn (name'++":"++show line++": "++msg)
- exitFailure
+processFile flags name
+ = do let file_name = dosifyPath name
+ s <- readFile file_name
+ case parser of
+ Parser p -> case p (SourcePos file_name 1) s of
+ Success _ _ _ toks -> output flags file_name toks
+ Failure (SourcePos name' line) msg -> do
+ putStrLn (name'++":"++show line++": "++msg)
+ exitFailure
------------------------------------------------------------------------
-- A deterministic parser which remembers the text which has been parsed.
let cProgName = outDir++outBase++"_hsc_make.c"
oProgName = outDir++outBase++"_hsc_make.o"
progName = outDir++outBase++"_hsc_make" ++ progNameSuffix
- outHName = outDir++outBase++"_hsc.h"
+ outHFile = outBase++"_hsc.h"
+ outHName = outDir++outHFile
outCName = outDir++outBase++"_hsc.c"
+
+ beVerbose = any (\ x -> case x of { Verbose{} -> True; _ -> False}) flags
let execProgName
| null outDir = '.':pathSep:progName
where
fixChar c | isAlphaNum c = toUpper c
| otherwise = '_'
+
+ -- try locating GHC..on Win32, look in the vicinity of hsc2hs.
+ locateGhc def = do
+ mb <- getExecDir "bin/hsc2hs.exe"
+ case mb of
+ Nothing -> return def
+ Just x -> do
+ let ghc_path = dosifyPath (x ++ "bin/ghc.exe")
+ flg <- doesFileExist ghc_path
+ if flg
+ then return ghc_path
+ else return def
compiler <- case [c | Compiler c <- flags] of
- [] -> return "ghc"
+ [] -> locateGhc "ghc"
[c] -> return c
_ -> onlyOne "compiler"
linker <- case [l | Linker l <- flags] of
- [] -> return cGCC
+ [] -> locateGhc compiler
[l] -> return l
_ -> onlyOne "linker"
-
+
writeFile cProgName $
concatMap outFlagHeaderCProg flags++
concatMap outHeaderCProg specials++
- "\nint main (void)\n{\n"++
+ "\nint main (int argc, char *argv [])\n{\n"++
outHeaderHs flags (if needsH then Just outHName else Nothing) specials++
outHsLine (SourcePos name 0)++
concatMap outTokenHs toks++
" return 0;\n}\n"
unless (null [() | NoCompile <- flags]) $ exitWith ExitSuccess
+
+
- compilerStatus <- system $
+ compilerStatus <- systemL beVerbose $
compiler++
" -c"++
concat [" "++f | CompFlag f <- flags]++
_ -> return ()
removeFile cProgName
- linkerStatus <- system $
+ linkerStatus <- systemL beVerbose $
linker++
concat [" "++f | LinkFlag f <- flags]++
" "++oProgName++
_ -> return ()
removeFile oProgName
- system (execProgName++" >"++outName)
+ progStatus <- systemL beVerbose (execProgName++" >"++outName)
removeFile progName
+ case progStatus of
+ e@(ExitFailure _) -> exitWith e
+ _ -> return ()
when needsH $ writeFile outHName $
"#ifndef "++includeGuard++"\n\
"#endif\n"
when needsC $ writeFile outCName $
- "#include \""++outHName++"\"\n"++
+ "#include \""++outHFile++"\"\n"++
concatMap outTokenC specials
+ -- NB. outHFile not outHName; works better when processed
+ -- by gcc or mkdependC.
+
+systemL :: Bool -> String -> IO ExitCode
+systemL flg s = do
+ when flg (hPutStrLn stderr ("Executing: " ++ s))
+ system s
onlyOne :: String -> IO a
onlyOne what = do
intToDigit (ord c `quot` 64),
intToDigit (ord c `quot` 8 `mod` 8),
intToDigit (ord c `mod` 8)]
+
+
+
+-----------------------------------------
+-- Cut and pasted from ghc/compiler/SysTools
+-- Convert paths foo/baz to foo\baz on Windows
+
+
+#if defined(mingw32_HOST_OS)
+subst a b ls = map (\ x -> if x == a then b else x) ls
+unDosifyPath xs = subst '\\' '/' xs
+dosifyPath xs = subst '/' '\\' xs
+
+getExecDir :: String -> IO (Maybe String)
+-- (getExecDir cmd) returns the directory in which the current
+-- executable, which should be called 'cmd', is running
+-- So if the full path is /a/b/c/d/e, and you pass "d/e" as cmd,
+-- you'll get "/a/b/c" back as the result
+getExecDir cmd
+ = allocaArray len $ \buf -> do
+ ret <- getModuleFileName nullPtr buf len
+ if ret == 0 then return Nothing
+ else do s <- peekCString buf
+ return (Just (reverse (drop (length cmd)
+ (reverse (unDosifyPath s)))))
+ where
+ len = 2048::Int -- Plenty, PATH_MAX is 512 under Win32.
+
+foreign import stdcall "GetModuleFileNameA" unsafe
+ getModuleFileName :: Ptr () -> CString -> Int -> IO Int32
+
+#else
+dosifyPath xs = xs
+
+getExecDir :: String -> IO (Maybe String)
+getExecDir s = do return Nothing
+#endif
projects / ghc-hetmet.git / blobdiff