# SPCL Compiler
#
###################################################
#
#   SPCL_HOME     (Required!) 
#
#   CLASSPATH    (Required!) it will be set up for
#                   you based on other vars here.
#
#   JAVA_HOME    (Required!) Must point at your Java 
#                   Development Kit installation.
#
##################################################
# Michael E. Locasto
# Matthew Burnside


#change these two to reflect your environment, everything else
# is relative

JAVA_HOME=/usr/java/j2sdk1.4.1/
SPCL_HOME=/home/michael/projects/spcl/spcl-0.1

#either classes or polc.jar contains the .class files for our compiler
CLASSPATH="$SPCL_HOME"/classes/:"$SPCL_HOME"/lib/data.jar:"$SPCL_HOME"/lib/polc.jar

echo "using classpath ... " 
echo "$CLASSPATH"


# $1 is a file with a .spcl extension

     exec "$JAVA_HOME"/bin/java -classpath "$CLASSPATH" \
         -Dspcl.home="$SPCL_HOME" \
         spcl.policyengine.PolicyEngineDriver -policy "$1"

#call javac here

