X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Futils%2Fhsc2hs%2FMain.hs;h=e2cfbb75784e84b01056a342ef04db1a4bccf552;hb=423d477bfecd490de1449c59325c8776f91d7aac;hp=be5029b2eb0ba2db6ff6fe6f5b8f18249b62c218;hpb=2565ba3105a184bc65f36805ed4874b70b515e48;p=ghc-hetmet.git diff --git a/ghc/utils/hsc2hs/Main.hs b/ghc/utils/hsc2hs/Main.hs index be5029b..e2cfbb7 100644 --- a/ghc/utils/hsc2hs/Main.hs +++ b/ghc/utils/hsc2hs/Main.hs @@ -1,7 +1,7 @@ -{-# OPTIONS -fglasgow-exts #-} +{-# OPTIONS -fffi -cpp #-} ------------------------------------------------------------------------ --- $Id: Main.hs,v 1.46 2003/02/21 13:35:18 simonpj Exp $ +-- $Id: Main.hs,v 1.60 2004/08/13 13:11:21 simonmar 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. @@ -11,26 +11,22 @@ -- -- See the documentation in the Users' Guide for more details. -#if __GLASGOW_HASKELL__ >= 504 +#if __GLASGOW_HASKELL__ >= 504 || __NHC__ >= 114 import System.Console.GetOpt #else import GetOpt #endif -import Config -import System (getProgName, getArgs, ExitCode(..), exitWith, exitFailure, system) +import System (getProgName, getArgs, ExitCode(..), exitWith, system) import Directory (removeFile,doesFileExist) -import Monad (MonadPlus(..), liftM, liftM2, when, unless) +import Monad (MonadPlus(..), liftM, liftM2, when) import Char (isAlpha, isAlphaNum, isSpace, isDigit, toUpper, intToDigit, ord) -import List (intersperse) -import IO (hPutStrLn,stderr) +import List (intersperse, isSuffixOf) +import IO (hPutStr, hPutStrLn, stderr) -#include "../../includes/config.h" - -#ifdef mingw32_HOST_OS +#if defined(mingw32_HOST_OS) import Foreign - -#if __GLASGOW_HASKELL__ >= 504 +#if __GLASGOW_HASKELL__ >= 504 || __NHC__ >= 114 import Foreign.C.String #else import CString @@ -38,9 +34,8 @@ import CString #endif - version :: String -version = "hsc2hs-0.65" +version = "hsc2hs version 0.66\n" data Flag = Help @@ -56,6 +51,7 @@ data Flag | Output String | Verbose +template_flag :: Flag -> Bool template_flag (Template _) = True template_flag _ = False @@ -71,26 +67,38 @@ define s = case break (== '=') s of options :: [OptDescr Flag] options = [ - Option "t" ["template"] (ReqArg Template "FILE") "template file", - Option "c" ["cc"] (ReqArg Compiler "PROG") "C compiler to use", - Option "l" ["ld"] (ReqArg Linker "PROG") "linker to use", - Option "C" ["cflag"] (ReqArg CompFlag "FLAG") "flag to pass to the C compiler", - Option "I" [] (ReqArg (CompFlag . ("-I"++)) - "DIR") "passed to the C compiler", - Option "L" ["lflag"] (ReqArg LinkFlag "FLAG") "flag to pass to the linker", - Option "i" ["include"] (ReqArg include "FILE") "as if placed in the source", - 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"] + Option ['o'] ["output"] (ReqArg Output "FILE") + "name of main output file", + Option ['t'] ["template"] (ReqArg Template "FILE") + "template file", + Option ['c'] ["cc"] (ReqArg Compiler "PROG") + "C compiler to use", + Option ['l'] ["ld"] (ReqArg Linker "PROG") + "linker to use", + Option ['C'] ["cflag"] (ReqArg CompFlag "FLAG") + "flag to pass to the C compiler", + Option ['I'] [] (ReqArg (CompFlag . ("-I"++)) "DIR") + "passed to the C compiler", + Option ['L'] ["lflag"] (ReqArg LinkFlag "FLAG") + "flag to pass to the linker", + Option ['i'] ["include"] (ReqArg include "FILE") + "as if placed in the source", + Option ['D'] ["define"] (ReqArg define "NAME[=VALUE]") + "as if placed in the source", + Option [] ["no-compile"] (NoArg NoCompile) + "stop after writing *_hsc_make.c", + Option ['v'] ["verbose"] (NoArg Verbose) + "dump commands to stderr", + Option ['?'] ["help"] (NoArg Help) + "display this help and exit", + Option ['V'] ["version"] (NoArg Version) + "output version information and exit" ] main :: IO () main = do - prog <- getProgName - let header = "Usage: "++prog++" [OPTIONS] INPUT.hsc [...]" + prog <- getProgramName + let header = "Usage: "++prog++" [OPTIONS] INPUT.hsc [...]\n" args <- getArgs let (flags, files, errs) = getOpt Permute options args @@ -114,16 +122,25 @@ main = do return (add_opt flags) case (files, errs) of (_, _) - | any isHelp flags_w_tpl -> putStrLn (usageInfo header options) - | any isVersion flags_w_tpl -> putStrLn version + | any isHelp flags_w_tpl -> bye (usageInfo header options) + | any isVersion flags_w_tpl -> bye version where isHelp Help = True; isHelp _ = False isVersion Version = True; isVersion _ = False - ([], []) -> putStrLn (prog++": No input files") - (files, []) -> mapM_ (processFile flags_w_tpl) files - (_, errs) -> do { mapM_ putStrLn errs ; - putStrLn (usageInfo header options) ; - exitFailure } + ((_:_), []) -> mapM_ (processFile flags_w_tpl) files + (_, _ ) -> die (concat errs ++ usageInfo header options) + +getProgramName :: IO String +getProgramName = liftM (`withoutSuffix` "-bin") getProgName + where str `withoutSuffix` suff + | suff `isSuffixOf` str = take (length str - length suff) str + | otherwise = str + +bye :: String -> IO a +bye s = putStr s >> exitWith ExitSuccess + +die :: String -> IO a +die s = hPutStr stderr s >> exitWith (ExitFailure 1) processFile :: [Flag] -> String -> IO () processFile flags name @@ -132,9 +149,8 @@ processFile flags 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 + Failure (SourcePos name' line) msg -> + die (name'++":"++show line++": "++msg++"\n") ------------------------------------------------------------------------ -- A deterministic parser which remembers the text which has been parsed. @@ -462,14 +478,15 @@ output :: [Flag] -> String -> [Token] -> IO () output flags name toks = do (outName, outDir, outBase) <- case [f | Output f <- flags] of - [] - | not (null ext) && - last ext == 'c' -> return (dir++base++init ext, dir, base) - | ext == ".hs" -> return (dir++base++"_out.hs", dir, base) - | otherwise -> return (dir++base++".hs", dir, base) - where - (dir, file) = splitName name - (base, ext) = splitExt file + [] -> if not (null ext) && last ext == 'c' + then return (dir++base++init ext, dir, base) + else + if ext == ".hs" + then return (dir++base++"_out.hs", dir, base) + else return (dir++base++".hs", dir, base) + where + (dir, file) = splitName name + (base, ext) = splitExt file [f] -> let (dir, file) = splitName f (base, _) = splitExt file @@ -478,15 +495,20 @@ output flags name toks = do let cProgName = outDir++outBase++"_hsc_make.c" oProgName = outDir++outBase++"_hsc_make.o" - progName = outDir++outBase++"_hsc_make" ++ progNameSuffix + progName = outDir++outBase++"_hsc_make" +#if defined(mingw32_HOST_OS) +-- This is a real hack, but the quoting mechanism used for calling the C preprocesseor +-- via GHC has changed a few times, so this seems to be the only way... :-P * * * + ++ ".exe" +#endif outHFile = outBase++"_hsc.h" outHName = outDir++outHFile outCName = outDir++outBase++"_hsc.c" - beVerbose = any (\ x -> case x of { Verbose{} -> True; _ -> False}) flags + beVerbose = any (\ x -> case x of { Verbose -> True; _ -> False}) flags let execProgName - | null outDir = '.':pathSep:progName + | null outDir = dosifyPath ("./" ++ progName) | otherwise = progName let specials = [(pos, key, arg) | Special pos key arg <- toks] @@ -499,7 +521,8 @@ output flags name toks = do fixChar c | isAlphaNum c = toUpper c | otherwise = '_' - -- try locating GHC..on Win32, look in the vicinity of hsc2hs. + -- Try locating GHC..on Win32, look in the vicinity of hsc2hs. + -- Returns a native-format path locateGhc def = do mb <- getExecDir "bin/hsc2hs.exe" case mb of @@ -511,6 +534,16 @@ output flags name toks = do then return ghc_path else return def + -- On a Win32 installation we execute the hsc2hs binary directly, + -- with no --cc flags, so we'll call locateGhc here, which will + -- succeed, via getExecDir. + -- + -- On a Unix installation, we'll run the wrapper script hsc2hs.sh + -- (called plain hsc2hs in the installed tree), which will pass + -- a suitable C compiler via --cc + -- + -- The in-place installation always uses the wrapper script, + -- (called hsc2hs-inplace, generated from hsc2hs.sh) compiler <- case [c | Compiler c <- flags] of [] -> locateGhc "ghc" [c] -> return c @@ -524,13 +557,16 @@ output flags name toks = do 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 + -- NOTE: hbc compiles "[() | NoCompile <- flags]" into wrong code, + -- so we use something slightly more complicated. :-P + when (any (\x -> case x of NoCompile -> True; _ -> False) flags) $ + exitWith ExitSuccess @@ -562,17 +598,16 @@ output flags name toks = do _ -> return () when needsH $ writeFile outHName $ - "#ifndef "++includeGuard++"\n\ - \#define "++includeGuard++"\n\ - \#if " ++ - "__GLASGOW_HASKELL__ && __GLASGOW_HASKELL__ < 409\n\ - \#include \n\ - \#endif\n\ - \#include \n\ - \#if __NHC__\n\ - \#undef HsChar\n\ - \#define HsChar int\n\ - \#endif\n"++ + "#ifndef "++includeGuard++"\n" ++ + "#define "++includeGuard++"\n" ++ + "#if __GLASGOW_HASKELL__ && __GLASGOW_HASKELL__ < 409\n" ++ + "#include \n" ++ + "#endif\n" ++ + "#include \n" ++ + "#if __NHC__\n" ++ + "#undef HsChar\n" ++ + "#define HsChar int\n" ++ + "#endif\n" ++ concatMap outFlagH flags++ concatMap outTokenH specials++ "#endif\n" @@ -589,9 +624,7 @@ systemL flg s = do system s onlyOne :: String -> IO a -onlyOne what = do - putStrLn ("Only one "++what++" may be specified") - exitFailure +onlyOne what = die ("Only one "++what++" may be specified\n") outFlagHeaderCProg :: Flag -> String outFlagHeaderCProg (Template t) = "#include \""++t++"\"\n" @@ -615,20 +648,20 @@ outHeaderCProg (pos, key, arg) = case key of (header, _:body) -> case break isSpace header of (name, args) -> outCLine pos++ - "#define hsc_"++name++"("++dropWhile isSpace args++") \ - \printf ("++joinLines body++");\n" + "#define hsc_"++name++"("++dropWhile isSpace args++") " ++ + "printf ("++joinLines body++");\n" _ -> "" - where + where joinLines = concat . intersperse " \\\n" . lines outHeaderHs :: [Flag] -> Maybe String -> [(SourcePos, String, String)] -> String outHeaderHs flags inH toks = "#if " ++ - "__GLASGOW_HASKELL__ && __GLASGOW_HASKELL__ < 409\n\ - \ printf (\"{-# OPTIONS -optc-D" ++ - "__GLASGOW_HASKELL__=%d #-}\\n\", \ - \__GLASGOW_HASKELL__);\n\ - \#endif\n"++ + "__GLASGOW_HASKELL__ && __GLASGOW_HASKELL__ < 409\n" ++ + " printf (\"{-# OPTIONS -optc-D" ++ + "__GLASGOW_HASKELL__=%d #-}\\n\", " ++ + "__GLASGOW_HASKELL__);\n" ++ + "#endif\n"++ case inH of Nothing -> concatMap outFlag flags++concatMap outSpecial toks Just f -> outOption ("-#include \""++f++"\"") @@ -655,9 +688,9 @@ outHeaderHs flags inH toks = showCString s++"\");\n" outTokenHs :: Token -> String -outTokenHs (Text pos text) = - case break (== '\n') text of - (all, []) -> outText all +outTokenHs (Text pos txt) = + case break (== '\n') txt of + (allTxt, []) -> outText allTxt (first, _:rest) -> outText (first++"\n")++ outHsLine pos++ @@ -686,12 +719,12 @@ outEnum arg = (enum, rest) -> let this = case break (== '=') $ dropWhile isSpace enum of (name, []) -> - " hsc_enum ("++t++", "++f++", \ - \hsc_haskellize (\""++name++"\"), "++ + " hsc_enum ("++t++", "++f++", " ++ + "hsc_haskellize (\""++name++"\"), "++ name++");\n" (hsName, _:cName) -> - " hsc_enum ("++t++", "++f++", \ - \printf (\"%s\", \""++hsName++"\"), "++ + " hsc_enum ("++t++", "++f++", " ++ + "printf (\"%s\", \""++hsName++"\"), "++ cName++");\n" in this++enums rest in enums afterF @@ -712,12 +745,12 @@ outTokenH (pos, key, arg) = 's':'t':'r':'u':'c':'t':' ':_ -> arg++"\n" 't':'y':'p':'e':'d':'e':'f':' ':_ -> arg++"\n" 'i':'n':'l':'i':'n':'e':' ':_ -> - "#ifdef __GNUC__\n\ - \extern\n\ - \#endif\n"++ + "#ifdef __GNUC__\n" ++ + "extern\n" ++ + "#endif\n"++ arg++"\n" _ -> "extern "++header++";\n" - where header = takeWhile (\c -> c /= '{' && c /= '=') arg + where header = takeWhile (\c -> c /= '{' && c /= '=') arg _ | conditional key -> outCLine pos++"#"++key++" "++arg++"\n" _ -> "" @@ -731,13 +764,13 @@ outTokenC (pos, key, arg) = case span (\c -> c /= '{' && c /= '=') arg' of (header, body) -> outCLine pos++ - "#ifndef __GNUC__\n\ - \extern inline\n\ - \#endif\n"++ + "#ifndef __GNUC__\n" ++ + "extern inline\n" ++ + "#endif\n"++ header++ - "\n#ifndef __GNUC__\n\ - \;\n\ - \#else\n"++ + "\n#ifndef __GNUC__\n" ++ + ";\n" ++ + "#else\n"++ body++ "\n#endif\n" _ -> outCLine pos++arg++"\n" @@ -757,7 +790,7 @@ conditional _ = False outCLine :: SourcePos -> String outCLine (SourcePos name line) = - "# "++show line++" \""++showCString (snd (splitName name))++"\"\n" + "#line "++show line++" \""++showCString (snd (splitName name))++"\"\n" outHsLine :: SourcePos -> String outHsLine (SourcePos name line) = @@ -790,12 +823,16 @@ showCString = concatMap showCChar -- Cut and pasted from ghc/compiler/SysTools -- Convert paths foo/baz to foo\baz on Windows - +dosifyPath :: String -> String #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 +unDosifyPath :: String -> String +unDosifyPath xs = subst '\\' '/' xs + +subst :: Eq a => a -> a -> [a] -> [a] +subst a b ls = map (\ x -> if x == a then b else x) ls + getExecDir :: String -> IO (Maybe String) -- (getExecDir cmd) returns the directory in which the current -- executable, which should be called 'cmd', is running @@ -811,12 +848,12 @@ getExecDir cmd where len = 2048::Int -- Plenty, PATH_MAX is 512 under Win32. -foreign import stdcall "GetModuleFileNameA" unsafe +foreign import stdcall unsafe "GetModuleFileNameA" getModuleFileName :: Ptr () -> CString -> Int -> IO Int32 #else dosifyPath xs = xs getExecDir :: String -> IO (Maybe String) -getExecDir s = do return Nothing +getExecDir _ = return Nothing #endif