diff options
Diffstat (limited to 'doc/manual/example3/gen.sh')
-rw-r--r-- | doc/manual/example3/gen.sh | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/doc/manual/example3/gen.sh b/doc/manual/example3/gen.sh new file mode 100644 index 0000000..6fb971e --- /dev/null +++ b/doc/manual/example3/gen.sh @@ -0,0 +1,17 @@ +#!/bin/ksh + +JAVA=java +GLUEGEN_JAR=../../../build/gluegen.jar +ANTLR_JAR=../../../../../ANTLR/antlr-2.7.4/antlr.jar + +NAME=`uname` + +if [ $NAME="Windows*" ] ; then + SEP=\; +elif [ $NAME="CYGWIN*" ] ; then + SEP=\; +else + SEP=: +fi + +java -cp $GLUEGEN_JAR$SEP$ANTLR_JAR com.sun.gluegen.GlueGen -I. -Ecom.sun.gluegen.JavaEmitter -Cfunction.cfg function.h |