diff options
Diffstat (limited to 'doc/manual/example1/gen.sh')
| -rw-r--r-- | doc/manual/example1/gen.sh | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/doc/manual/example1/gen.sh b/doc/manual/example1/gen.sh index 6fb971e..047b448 100644 --- a/doc/manual/example1/gen.sh +++ b/doc/manual/example1/gen.sh @@ -2,16 +2,17 @@ JAVA=java GLUEGEN_JAR=../../../build/gluegen.jar -ANTLR_JAR=../../../../../ANTLR/antlr-2.7.4/antlr.jar +ANTLR_JAR=../../../../../ANTLR/antlr-2.7.5.jar NAME=`uname` -if [ $NAME="Windows*" ] ; then +if [[ $NAME == "Windows*" ]] ; then SEP=\; -elif [ $NAME="CYGWIN*" ] ; then +elif [[ $NAME == "CYGWIN*" ]] ; then SEP=\; else SEP=: fi +echo java -cp $GLUEGEN_JAR$SEP$ANTLR_JAR com.sun.gluegen.GlueGen -I. -Ecom.sun.gluegen.JavaEmitter -Cfunction.cfg function.h java -cp $GLUEGEN_JAR$SEP$ANTLR_JAR com.sun.gluegen.GlueGen -I. -Ecom.sun.gluegen.JavaEmitter -Cfunction.cfg function.h |