From 36df81f051033ae854d283f42b01a6f419c82e8f Mon Sep 17 00:00:00 2001
From: aarne <aarne@chalmers.se>
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 ++++--
 lib/src/bulgarian/LexiconBul.gf | 11 +----------
 2 files changed, 5 insertions(+), 12 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
 
diff --git a/lib/src/bulgarian/LexiconBul.gf b/lib/src/bulgarian/LexiconBul.gf
index 7cb197262..29410b057 100644
--- a/lib/src/bulgarian/LexiconBul.gf
+++ b/lib/src/bulgarian/LexiconBul.gf
@@ -113,6 +113,7 @@ lin
               vtype  = VNormal ;
               lock_V = <>
             } ;
+  know_VS = mkVS (actionV (mkV188 "знам") (mkV162 "зная")) ;
   lake_N = mkN054 "езеро" ;
   lamp_N = mkN041 "лампа" ;
   learn_V2 = dirV2 (actionV (mkV176 "уча") (mkV176 "науча")) ;
@@ -377,14 +378,4 @@ oper
                       "със" / strs {"с" ; "з" ; "С" ; "З"}
                     })  Acc ;
 
-oper know_V : V =
-{
-              s      = \\_,vform => case vform of {
-                                      VPassive aform => (mkA079 "известен").s ! aform ;
-                                      _              => mkV162 "зная" ! vform
-                                    } ;
-              vtype  = VNormal ;
-              lock_V = <>
-            } ;
-
 } ;