-{-# OPTIONS -fffi #-}
+{-# OPTIONS -fffi -cpp #-}
------------------------------------------------------------------------
--- $Id: Main.hs,v 1.54 2004/03/03 17:11:51 simonpj Exp $
+-- $Id: Main.hs,v 1.66 2005/01/06 14:55:02 malcolm 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.
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, isSuffixOf)
import IO (hPutStr, hPutStrLn, stderr)
#endif
+#if defined(__GLASGOW_HASKELL__) && !defined(BUILD_NHC)
+import Compat.RawSystem ( rawSystem )
+#elif __HUGS__ || __NHC__ >= 117 || __GLASGOW_HASKELL__ >= 600
+import System.Cmd ( rawSystem )
+#else
+rawSystem prog args = system (prog++" "++unwords args)
+#endif
+
version :: String
version = "hsc2hs version 0.66\n"
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
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 = dosifyPath ("./" ++ progName)
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
- compilerStatus <- systemL beVerbose $
- compiler++
- " -c"++
- concat [" "++f | CompFlag f <- flags]++
- " "++cProgName++
- " -o "++oProgName
+ compilerStatus <- rawSystemL beVerbose compiler
+ ( ["-c"]
+ ++ [f | CompFlag f <- flags]
+ ++ [cProgName]
+ ++ ["-o", oProgName]
+ )
+
case compilerStatus of
e@(ExitFailure _) -> exitWith e
_ -> return ()
removeFile cProgName
- linkerStatus <- systemL beVerbose $
- linker++
- concat [" "++f | LinkFlag f <- flags]++
- " "++oProgName++
- " -o "++progName
+ linkerStatus <- rawSystemL beVerbose linker
+ ( [f | LinkFlag f <- flags]
+ ++ [oProgName]
+ ++ ["-o", progName]
+ )
+
case linkerStatus of
e@(ExitFailure _) -> exitWith e
_ -> return ()
_ -> return ()
when needsH $ writeFile outHName $
- "#ifndef "++includeGuard++"\n\
- \#define "++includeGuard++"\n\
- \#if " ++
- "__GLASGOW_HASKELL__ && __GLASGOW_HASKELL__ < 409\n\
- \#include <Rts.h>\n\
- \#endif\n\
- \#include <HsFFI.h>\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 <Rts.h>\n" ++
+ "#endif\n" ++
+ "#include <HsFFI.h>\n" ++
+ "#if __NHC__\n" ++
+ "#undef HsChar\n" ++
+ "#define HsChar int\n" ++
+ "#endif\n" ++
concatMap outFlagH flags++
concatMap outTokenH specials++
"#endif\n"
-- NB. outHFile not outHName; works better when processed
-- by gcc or mkdependC.
+rawSystemL :: Bool -> String -> [String] -> IO ExitCode
+rawSystemL flg prog args = do
+ when flg $ hPutStrLn stderr ("Executing: " ++ prog ++ concat (map (' ':) args))
+ rawSystem prog args
+
systemL :: Bool -> String -> IO ExitCode
systemL flg s = do
when flg (hPutStrLn stderr ("Executing: " ++ s))
(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++"\"")
(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
'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"
_ -> ""
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"