diff options
| author | hallgren <hallgren@chalmers.se> | 2011-10-25 18:25:49 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2011-10-25 18:25:49 +0000 |
| commit | a8185fd997ac7204daf39c4998a38dc6ecfd355e (patch) | |
| tree | d572a1b0192a87cdc65a9b5244902a080ead9530 /WebSetup.hs | |
| parent | 5fd8299805d3e635aa52a5841f23933daac56749 (diff) | |
Preparations for release of GF 3.3
+ Changing version numbers and dates here and there.
+ Simplify build-binary-dist.sh since pgf-http need not be built anymore.
+ Use--gf-lib-path to make the sample grammars for minibar compile even if GF
is not installed.
Diffstat (limited to 'WebSetup.hs')
| -rw-r--r-- | WebSetup.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/WebSetup.hs b/WebSetup.hs index 3deba51ea..5eec3dd91 100644 --- a/WebSetup.hs +++ b/WebSetup.hs @@ -50,6 +50,7 @@ setupWeb gf args dest pkg lbi = where tmp_dir = gfo_dir</>tmp cmd = gf++" -make -s -optimize-pgf --gfo-dir="++tmp_dir++ + " --gf-lib-path=dist/build/rgl"++ -- " --output-dir="++grammars_dir++ -- has no effect?! " "++src |