From b801149fbf5c9eb3f73477d3496cdfd92cb178a1 Mon Sep 17 00:00:00 2001 From: aarne Date: Mon, 12 Nov 2007 09:17:02 +0000 Subject: merged gfc and gfi to one binary, and a shell script for gfc --- src/GF/Devel/GF.hs | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100644 src/GF/Devel/GF.hs (limited to 'src/GF/Devel/GF.hs') 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 + -- cgit v1.2.3