#!/bin/bash
-if [ -z $SPEC_COMPILER_HOME ]; then
- SPEC_COMPILER_HOME=~/spec-checker-compiler
-fi
+SPEC_COMPILER_HOME=$(pwd)
-JAVACC_PATH=$SPEC_COMPILER_HOME/lib
+echo "CDSSpec Compiler home: " $SPEC_COMPILER_HOME
-OUTPUT_PATH=$SPEC_COMPILER_HOME/src/edu/uci/eecs/specCompiler/grammerParser
-mkdir -p $OUTPUT_PATH
+JAVACC_PATH=$SPEC_COMPILER_HOME/lib
-GRAMMER_FILE=$SPEC_COMPILER_HOME/grammer/spec-compiler.jj
+UTIL_FILE=$SPEC_COMPILER_HOME/grammer/util.jj
-if [ -z $1 ]; then
- echo "Using the default grammer file: $GRAMMER_FILE."
-else
- GRAMMER_FILE=$1
-fi
+UTIL_OUTPUT_PATH=$SPEC_COMPILER_HOME/src/edu/uci/eecs/utilParser
echo "Deleting the old generated java files."
-rm $OUTPUT_PATH/*.java
-java -cp $JAVACC_PATH/javacc.jar javacc -OUTPUT_DIRECTORY=$OUTPUT_PATH $GRAMMER_FILE
+rm -rf $UTIL_OUTPUT_PATH/*
+
+mkdir -p $UTIL_OUTPUT_PATH
+
+java -cp $JAVACC_PATH/javacc.jar javacc -OUTPUT_DIRECTORY=$UTIL_OUTPUT_PATH $UTIL_FILE