need to fixed SpecExtractor.java
[cdsspec-compiler.git] / run-javacc.sh
index 308dee7..a8484bd 100755 (executable)
@@ -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."