diff options
| author | krasimir <krasimir@chalmers.se> | 2009-06-05 18:19:53 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-06-05 18:19:53 +0000 |
| commit | fb29ce7834822b3b61cbdc01b8e825d9fab36902 (patch) | |
| tree | c7db185d4c0c938b32c38bae9cdbb5d2f5473d6c /src/server/gwt/Editor-compile | |
| parent | fc38ae9a938c95a8d6b771278739255aa065fb3e (diff) | |
scratched version of GWT Syntax Editor
Diffstat (limited to 'src/server/gwt/Editor-compile')
| -rw-r--r-- | src/server/gwt/Editor-compile | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/src/server/gwt/Editor-compile b/src/server/gwt/Editor-compile new file mode 100644 index 000000000..89968b4ce --- /dev/null +++ b/src/server/gwt/Editor-compile @@ -0,0 +1,22 @@ +#!/bin/sh + +APPDIR=`dirname $0`; + +GWT_DIR="/home/angelov/gwt-linux-1.5.3" +GWT_CLASSPATH="$GWT_DIR/gwt-user.jar:$GWT_DIR/gwt-dev-linux.jar" + +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-mac-1.5.2"' + echo 'export GWT_CLASSPATH="$GWT_DIR/gwt-user.jar:$GWT_DIR/gwt-dev-mac.jar"' + exit 1 +fi + +if [ `uname` = "Darwin" ]; then + GWT_JAVA_OPTS=-XstartOnFirstThread +fi + +LIBS=$APPDIR/lib/gwt-dnd-2.5.6.jar + +java $GWT_JAVA_OPTS -Xmx256M -cp "$APPDIR/src:$APPDIR/bin:$LIBS:$GWT_CLASSPATH" com.google.gwt.dev.GWTCompiler -out "$APPDIR/www/editor" "$@" se.chalmers.cs.gf.gwt.EditorApp; |