From 8d37ed015ea8e033135dbdfe2c80685f819319d2 Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Wed, 29 Sep 2010 13:32:23 +0000
Subject: added compilation scripts for the editor

---
 src/ui/gwt/Editor-compile | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 src/ui/gwt/Editor-compile

(limited to 'src/ui/gwt/Editor-compile')

diff --git a/src/ui/gwt/Editor-compile b/src/ui/gwt/Editor-compile
new file mode 100644
index 000000000..4106298ea
--- /dev/null
+++ b/src/ui/gwt/Editor-compile
@@ -0,0 +1,17 @@
+#!/bin/sh
+
+APPDIR=`dirname $0`;
+
+if [ -z "$GWT_CLASSPATH" ]; then
+  echo 'ERROR: $GWT_CLASSPATH is not set'
+  echo 'Set $GWT_CLASSPATH to point to the GWT JAR files. For example:'
+  echo 'export GWT_DIR="/Users/bringert/src/gwt-2.0.4"'
+  echo 'export GWT_CLASSPATH="$GWT_DIR/gwt-user.jar:$GWT_DIR/gwt-dev.jar"'
+  exit 1
+fi
+
+if [ `uname` = "Darwin" ]; then 
+  GWT_JAVA_OPTS=-XstartOnFirstThread
+fi
+
+java $GWT_JAVA_OPTS -Xmx256M -cp "$APPDIR/src:$APPDIR/bin:$GWT_CLASSPATH" com.google.gwt.dev.Compiler -war "$APPDIR/www/editor" "$@" org.grammaticalframework.ui.gwt.EditorApp;
-- 
cgit v1.2.3