mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-05-16 14:42:50 -06:00
verbosity in make phrasebook ; removed own hacks in LexiconBul
This commit is contained in:
@@ -29,12 +29,14 @@ main = do
|
|||||||
else return ()
|
else return ()
|
||||||
case opts of
|
case opts of
|
||||||
_ | elem "-make" opts || elem "-link" opts -> do
|
_ | elem "-make" opts || elem "-link" opts -> do
|
||||||
system $ "gf -make -s " ++ unwords (map (++ ".pgf") modus)
|
let comm = "gf -make -s " ++ unwords (map (++ ".pgf") modus)
|
||||||
|
putStrLn comm
|
||||||
|
system comm
|
||||||
return ()
|
return ()
|
||||||
_ -> return ()
|
_ -> return ()
|
||||||
|
|
||||||
compileOne modu = do
|
compileOne modu = do
|
||||||
let comm = "gf -make -s -name=" ++ modu ++ " " ++ modu ++ ".gf"
|
let comm = "gf -make -s -optimize-pgf -name=" ++ modu ++ " " ++ modu ++ ".gf"
|
||||||
putStrLn comm
|
putStrLn comm
|
||||||
system comm
|
system comm
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user