summaryrefslogtreecommitdiff
path: root/next-lib
diff options
context:
space:
mode:
authorkrasimir <krasimir@chalmers.se>2009-04-30 07:57:56 +0000
committerkrasimir <krasimir@chalmers.se>2009-04-30 07:57:56 +0000
commit2c3ffb85c8533308f5464ae1997a7f7224a526d7 (patch)
treee21f8fff94cd8bfa10fd76237a5e68170b436d95 /next-lib
parentae6e8ee401e170224312d78cf43e0e51e49e9976 (diff)
added new Makefile in the top directory which calls Cabal for compilation
Diffstat (limited to 'next-lib')
-rw-r--r--next-lib/src/Make.hs22
-rw-r--r--next-lib/src/Makefile6
2 files changed, 11 insertions, 17 deletions
diff --git a/next-lib/src/Make.hs b/next-lib/src/Make.hs
index 679a99851..63f50afc2 100644
--- a/next-lib/src/Make.hs
+++ b/next-lib/src/Make.hs
@@ -19,7 +19,7 @@ import System.Exit
-- With no argument, lang and api are done, in this order.
-- See 'make' below for what is done by which command.
-default_gfc = "../../bin/gfc"
+default_gf = "../../dist/build/gf/gf"
presApiPath = "-path=api:present"
presSymbolPath = "-path=.:abstract:present:common:romance:scandinavian" ----
@@ -195,21 +195,15 @@ unlexer abstr ls =
where
unlex lla = maybe "" id $ lookup lla langsCoding
--- | Runs the gfc executable with the given arguments.
+-- | Runs the gf executable in compile mode with the given arguments.
run_gfc :: [String] -> IO ()
run_gfc args =
- do p <- liftM (fromMaybe default_gfc) $ findExecutable "gfc"
- env <- getEnvironment
- case lookup "GF_LIB_PATH" env of
- Nothing -> putStrLn "$GF_LIB_PATH is not set."
- Just _ ->
- do let args' = filter (not . null) args ++ ["+RTS"] ++ rts_flags ++ ["-RTS"]
- cmd = p ++ " " ++ unwords (map showArg args')
- putStrLn $ "Running: " ++ cmd
- e <- system cmd
- case e of
- ExitSuccess -> return ()
- ExitFailure i -> putStrLn $ "gfc exited with exit code: " ++ show i
+ do let args' = ["-batch","-gf-lib-path=."] ++ filter (not . null) args ++ ["+RTS"] ++ rts_flags ++ ["-RTS"]
+ putStrLn $ "Running: " ++ default_gf ++ " " ++ unwords (map showArg args')
+ e <- rawSystem default_gf args'
+ case e of
+ ExitSuccess -> return ()
+ ExitFailure i -> putStrLn $ "gf exited with exit code: " ++ show i
where rts_flags = ["-K100M"]
showArg arg = "'" ++ arg ++ "'"
diff --git a/next-lib/src/Makefile b/next-lib/src/Makefile
index 673cb732b..998b11329 100644
--- a/next-lib/src/Makefile
+++ b/next-lib/src/Makefile
@@ -25,15 +25,15 @@ compat:
$(RUNMAKE) present compat
prelude:
- gfc prelude/*.gf
+ gf -batch prelude/*.gf
cp -p prelude/*.gfo ../prelude
constructX:
- gfc common/ConstructX.gf
+ gf -batch common/ConstructX.gf
cp -p common/ConstructX.gfo ../prelude
MakeStructural:
- gfc */MakeStructural*.gf
+ gf -batch */MakeStructural*.gf
cp -p */MakeStructural*.gfo ../present
cp -p */MakeStructural*.gfo ../alltenses