3 if [ -z $SPEC_COMPILER_HOME ]; then
4 SPEC_COMPILER_HOME=~/spec-checker-compiler
7 JAVACC_PATH=$SPEC_COMPILER_HOME/lib
9 PRE_SCANNER_FILE=$SPEC_COMPILER_HOME/grammer/pre_scanner.jj
10 GRAMMER_FILE=$SPEC_COMPILER_HOME/grammer/spec_compiler.jj
12 PRE_SCANNER_OUTPUT_PATH=$SPEC_COMPILER_HOME/src/edu/uci/eecs/specCompiler/grammerParser/preScanner
13 GRAMMER_OUTPUT_PATH=$SPEC_COMPILER_HOME/src/edu/uci/eecs/specCompiler/grammerParser
15 echo "Deleting the old generated java files."
16 rm -r $GRAMMER_OUTPUT_PATH/*
18 mkdir -p $PRE_SCANNER_OUTPUT_PATH
19 mkdir -p $GRAMMER_OUTPUT_PATH
21 java -cp $JAVACC_PATH/javacc.jar javacc -OUTPUT_DIRECTORY=$PRE_SCANNER_OUTPUT_PATH $PRE_SCANNER_FILE
22 java -cp $JAVACC_PATH/javacc.jar javacc -OUTPUT_DIRECTORY=$GRAMMER_OUTPUT_PATH $GRAMMER_FILE