diff options
| author | hallgren <hallgren@chalmers.se> | 2015-05-21 14:44:20 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2015-05-21 14:44:20 +0000 |
| commit | a7e8a566cf722f0a1e9685303cc1444e9d121105 (patch) | |
| tree | c2774e6bcffde08b8b93eef05e1d59e892b45d67 /WebSetup.hs | |
| parent | 803963352821febcb81382602866fcc32fca4d00 (diff) | |
Omit -optimize-pgf when compiling small example grammars
The minibar lets the user choose any category as the start category, but this
can lead to run-time errors for grammars compiled with -optimize-pgf.
The problem can also be observed in the GF shell. For example,
"linearize Fish" (which means that the start category is Kind) fails for
some languages when Foods.pgf is compiled with -optimize-pgf.
Diffstat (limited to 'WebSetup.hs')
| -rw-r--r-- | WebSetup.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/WebSetup.hs b/WebSetup.hs index 629d34327..0f2d24b7d 100644 --- a/WebSetup.hs +++ b/WebSetup.hs @@ -48,7 +48,7 @@ buildWeb gf (flags,pkg,lbi) = where tmp_dir = gfo_dir</>subdir dir = "examples"</>subdir - args = numJobs flags++["-make","-s","-optimize-pgf"] + args = numJobs flags++["-make","-s"] -- ,"-optimize-pgf" ++["--gfo-dir="++tmp_dir, "--gf-lib-path="++buildDir lbi </> "rgl", "--name="++dropExtension pgf, |