diff options
| author | krasimir <krasimir@chalmers.se> | 2010-08-24 14:41:37 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2010-08-24 14:41:37 +0000 |
| commit | af137d65a58be8b92c39399d52a2228cf5dcb716 (patch) | |
| tree | cacda2afd85b529047054b119f7e5a9444df83fb /src/ui/gwt/Editor-compile | |
| parent | 545cd9396e60a101d1147187727150d7447bb036 (diff) | |
remove the experimental GWT EditorApp
Diffstat (limited to 'src/ui/gwt/Editor-compile')
| -rw-r--r-- | src/ui/gwt/Editor-compile | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/src/ui/gwt/Editor-compile b/src/ui/gwt/Editor-compile deleted file mode 100644 index d054d16ad..000000000 --- a/src/ui/gwt/Editor-compile +++ /dev/null @@ -1,19 +0,0 @@ -#!/bin/sh - -APPDIR=`dirname $0`; -GWT_DIR="/home/angelov/gwt-2.0.4" -GWT_CLASSPATH="$GWT_DIR/gwt-user.jar:$GWT_DIR/gwt-dev.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-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; |