3 if [ -z $SPEC_COMPILER_HOME ]; then
4 SPEC_COMPILER_HOME=~/spec-checker-compiler
7 JAVACC_PATH=$SPEC_COMPILER_HOME/lib
9 OUTPUT_PATH=$SPEC_COMPILER_HOME/src/edu/uci/eecs/specCompiler/grammerParser
12 GRAMMER_FILE=$SPEC_COMPILER_HOME/grammer/spec-compiler.jj
15 echo "Using the default grammer file: $GRAMMER_FILE."
20 echo "Deleting the old generated java files."
21 rm $OUTPUT_PATH/*.java
22 java -cp $JAVACC_PATH/javacc.jar javacc -OUTPUT_DIRECTORY=$OUTPUT_PATH $GRAMMER_FILE