diff options
| author | aarne <aarne@cs.chalmers.se> | 2007-11-12 09:17:02 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2007-11-12 09:17:02 +0000 |
| commit | b801149fbf5c9eb3f73477d3496cdfd92cb178a1 (patch) | |
| tree | 332b6a3ec1b3b56b9ed1d8e19f175f10df970119 /src/GF/Devel/GF.hs | |
| parent | eb7b0286016714128aae742b4cedccc3dc30a9a0 (diff) | |
merged gfc and gfi to one binary, and a shell script for gfc
Diffstat (limited to 'src/GF/Devel/GF.hs')
| -rw-r--r-- | src/GF/Devel/GF.hs | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/src/GF/Devel/GF.hs b/src/GF/Devel/GF.hs new file mode 100644 index 000000000..70fddcd67 --- /dev/null +++ b/src/GF/Devel/GF.hs @@ -0,0 +1,14 @@ +module Main where + +import GF.Devel.GFC +import GF.Devel.GFI + +import System (getArgs) + +main :: IO () +main = do + xx <- getArgs + case xx of + "--batch":args -> mainGFC args + _ -> mainGFI xx + |