Bug fix in setup for gf -server mode

Use the command "dist/build/gf/gf" instead of "gf" to compile the sample
grammars for the minibar, to avoid failing if gf is installed in a directory
which is not in the $PATH.

Setup.hs

@@ -29,11 +29,13 @@ main = defaultMainWithHooks simpleUserHooks{ preBuild =checkRGLArgs
   where
     gfPostInst args flags pkg lbi =
       do installRGL args flags pkg lbi
-         installWeb args flags pkg lbi
+         let gf = default_gf pkg lbi
+         installWeb gf args flags pkg lbi
 
     gfPostCopy args flags pkg lbi =
       do copyRGL args flags pkg lbi
-         copyWeb args flags pkg lbi
+         let gf = default_gf pkg lbi
+         copyWeb gf args flags pkg lbi
 
 --------------------------------------------------------
 -- Commands for building the Resource Grammar Library

WebSetup.hs

@@ -21,17 +21,17 @@ example_grammars =  -- :: [(pgf, tmp, src)]
     ("Letter.pgf","letter","examples"</>"letter"</>"Letter???.gf")]
 
 
-installWeb args flags pki lbi = setupWeb args dest pki lbi
+installWeb gf args flags pki lbi = setupWeb gf args dest pki lbi
   where
     dest = NoCopyDest
 
-copyWeb args flags pki lbi = setupWeb args dest pki lbi
+copyWeb gf args flags pki lbi = setupWeb gf args dest pki lbi
   where
     dest = case copyDest flags of
              NoFlag -> NoCopyDest
              Flag d -> d
 
-setupWeb args dest pkg lbi =
+setupWeb gf args dest pkg lbi =
     do putStrLn "setupWeb"
        mapM_ (createDirectoryIfMissing True) [grammars_dir,cloud_dir]
        mapM_ build_pgf example_grammars
@@ -49,7 +49,7 @@ setupWeb args dest pkg lbi =
          removeFile pgf
       where
         tmp_dir = gfo_dir</>tmp
-        cmd = "gf -make -s -optimize-pgf --gfo-dir="++tmp_dir++
+        cmd = gf++" -make -s -optimize-pgf --gfo-dir="++tmp_dir++
            -- " --output-dir="++grammars_dir++  -- has no effect?!
               " "++src