From 44d1a5a9f71b03d9aceeccd760a63fcdc45f8bad Mon Sep 17 00:00:00 2001 From: hallgren Date: Wed, 12 Oct 2011 17:03:54 +0000 Subject: Improvements of "gf -server" mode and related setup "gf -server" mode now contains everything needed to run the minibar and the grammar editor (including example-based grammar writing). The Setup.hs script installs the required files where gf -server can find them. These files have been moved to a new directory: src/www. The separate server program pgf-http is now obsolete. --- src/www/gfse/Makefile | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 src/www/gfse/Makefile (limited to 'src/www/gfse/Makefile') diff --git a/src/www/gfse/Makefile b/src/www/gfse/Makefile new file mode 100644 index 000000000..00a97b337 --- /dev/null +++ b/src/www/gfse/Makefile @@ -0,0 +1,7 @@ + +save: save.hs + ghc --make save.hs + +install:: + @make save + rsync -avz --exclude .DS_Store P *.html *.css *.js ../../runtime/javascript/minibar/support.js *.cgi *.manifest save www.grammaticalframework.org:/usr/local/www/GF/demos/gfse -- cgit v1.2.3