mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-22 11:19:32 -06:00
silence in Compile in phrasebook
This commit is contained in:
@@ -29,10 +29,13 @@ 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 " ++ unwords (map (++ ".pgf") modus)
|
system $ "gf -make -s " ++ unwords (map (++ ".pgf") modus)
|
||||||
return ()
|
return ()
|
||||||
_ -> return ()
|
_ -> return ()
|
||||||
|
|
||||||
compileOne modu = system $ "gf -make -name=" ++ modu ++ " " ++ modu ++ ".gf"
|
compileOne modu = do
|
||||||
|
let comm = "gf -make -s -name=" ++ modu ++ " " ++ modu ++ ".gf"
|
||||||
|
putStrLn comm
|
||||||
|
system comm
|
||||||
|
|
||||||
mkFile la = if length la == 3 then mainmodu ++ la else la
|
mkFile la = if length la == 3 then mainmodu ++ la else la
|
||||||
|
|||||||
Reference in New Issue
Block a user