need to fixed SpecExtractor.java

[cdsspec-compiler.git] / run-javacc.sh

diff --git a/run-javacc.sh b/run-javacc.sh
index 308dee7ea3b9c1f0a846ce1d1b7648026e5ac8fe..a8484bdade8ecc8129e66fe25efe2e2f0ba31856 100755 (executable)
--- a/run-javacc.sh
+++ b/run-javacc.sh
@@ -1,12 +1,15 @@
 #!/bin/bash
 
-JAVACC_PATH=/home/peizhaoo/spec-checker-compiler/javacc-6.0/bin/lib
+if [ -z $SPEC_COMPILER_HOME ]; then
+       SPEC_COMPILER_HOME=~/spec-checker-compiler
+fi
+
+JAVACC_PATH=$SPEC_COMPILER_HOME/lib
 
-SRC_PATH=/home/peizhaoo/spec-checker-compiler/src
-OUTPUT_PATH=$SRC_PATH/edu/uci/eecs/specCompiler/grammerParser
+OUTPUT_PATH=$SPEC_COMPILER_HOME/src/edu/uci/eecs/specCompiler/grammerParser
 mkdir -p $OUTPUT_PATH
 
-GRAMMER_FILE=$SRC_PATH/../grammer/spec-compiler.jj
+GRAMMER_FILE=$SPEC_COMPILER_HOME/grammer/spec-compiler.jj
 
 if [ -z $1 ]; then
        echo "Using the default grammer file: $GRAMMER_FILE."