diff options
| author | krasimir <krasimir@chalmers.se> | 2010-07-08 12:03:36 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2010-07-08 12:03:36 +0000 |
| commit | c67139901449aef60b9dc32810c15ba95101f52e (patch) | |
| tree | 36a32c98c39be97a3b28b92c7f53b00d66fb3a02 /src/ui/gwt/Editor-compile | |
| parent | c0cccb26cbb126f408156c9d578a9a7d80215d9c (diff) | |
update the shell scripts and some other configuration files for GWT 2.0.4
Diffstat (limited to 'src/ui/gwt/Editor-compile')
| -rw-r--r-- | src/ui/gwt/Editor-compile | 11 |
1 files changed, 3 insertions, 8 deletions
diff --git a/src/ui/gwt/Editor-compile b/src/ui/gwt/Editor-compile index 89968b4ce..4106298ea 100644 --- a/src/ui/gwt/Editor-compile +++ b/src/ui/gwt/Editor-compile @@ -2,14 +2,11 @@ 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"' + 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 @@ -17,6 +14,4 @@ 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; +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; |