From f6b7d46892981c9dcaecad2384e4e1eba3bac2b8 Mon Sep 17 00:00:00 2001 From: aarne Date: Wed, 25 Aug 2010 11:30:16 +0000 Subject: [PATCH] verbosity in make phrasebook ; removed own hacks in LexiconBul --- examples/phrasebook/Compile.hs | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/examples/phrasebook/Compile.hs b/examples/phrasebook/Compile.hs index 47ad15275..0797b5ded 100644 --- a/examples/phrasebook/Compile.hs +++ b/examples/phrasebook/Compile.hs @@ -29,12 +29,14 @@ main = do else return () case opts of _ | 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 () 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 system comm