diff options
Diffstat (limited to 'src/server/Makefile')
| -rw-r--r-- | src/server/Makefile | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/src/server/Makefile b/src/server/Makefile index acf549e32..b9f3120c0 100644 --- a/src/server/Makefile +++ b/src/server/Makefile @@ -7,6 +7,9 @@ gf.fcgi: cabal build cp dist/build/gf.fcgi/gf.fcgi . +gwt: + gwt-client/Translate-compile + food: gfc --make --name=grammar ../../examples/tutorial/food/Food{Eng,Ita}.gf @@ -41,5 +44,16 @@ lang: gfc $(GFCFLAGS) --make --parser=on --name=LangSwe ../../lib/resource/swedish/LangSwe.gf gfc $(GFCFLAGS) --name=grammar Lang???.pgf +installball: gf.fcgi gwt + rm -rf gf-server + rm -f gf-server-installball.tar.gz + mkdir gf-server + cp -pr gwt-client/www/se.chalmers.cs.gf.gwt_translate.Translate/* gf-server + mv gf-server/Translate.html gf-server/index.html + cp grammar.pgf gf-server + cp gf.fcgi gf-server + cp README gf-server + tar -zcf gf-server-installball.tar.gz gf-server + clean: cabal clean |