run-javacc.sh

   1 #!/bin/bash
   2
   3 if [ -z $SPEC_COMPILER_HOME ]; then
   4         SPEC_COMPILER_HOME=~/spec-checker-compiler
   5 fi
   6
   7 JAVACC_PATH=$SPEC_COMPILER_HOME/lib
   8
   9 PRE_SCANNER_FILE=$SPEC_COMPILER_HOME/grammer/pre_scanner.jj
  10 GRAMMER_FILE=$SPEC_COMPILER_HOME/grammer/spec_compiler.jj
  11
  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
  14
  15 echo "Deleting the old generated java files."
  16 rm -r $GRAMMER_OUTPUT_PATH/*
  17
  18 mkdir -p $PRE_SCANNER_OUTPUT_PATH
  19 mkdir -p $GRAMMER_OUTPUT_PATH
  20
  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