#!/bin/bash
#
# unix shell script to run jpf
#

UNITCHECK_DIPL_HOME=/home/michal/diplomka
JPF_HOME=$UNITCHECK_DIPL_HOME/javapathfinder/trunk

#if we have class files, we probably want to use those first
CP=$JPF_HOME/build/jpf

#add (recursively) any *.jar or *.zip that's under $JPF_HOME/lib
#note that those take precedence over what already is in the classpath
if test -d "$JPF_HOME/lib"; then
  CP=$CP:`find "$JPF_HOME"/lib \( -name "*.jar" -or -name "*.zip" \) -exec echo -n {}":" \;`
fi

if test -d "$JPF_HOME/extensions"; then
  CP=$CP:`find "$JPF_HOME"/extensions \( -name "*.jar" -or -name "*.zip" \) -exec echo -n {}":" \;`
fi

#our standard native peer environment (just the peer, NOT the model classes)
CP=$CP:$JPF_HOME/build/env/jvm

#classes that can be explicitly used in applications
CP=$CP:$JPF_HOME/build/app

CP="$CP:$CLASSPATH"

#now check if we find our mandatory jars
if test ! `expr "$CP" : ".*\(bcel[^\.]*\.jar\).*"`; then
  echo "*** you don't seem to have bcel.jar in your CLASSPATH, please fix ***"
  exit
fi

if test -z "$JVM_FLAGS"; then
  JVM_FLAGS="-Xmx1024m -ea"
fi

UNITCHECK_HOME=$UNITCHECK_DIPL_HOME/unitcheck/trunk

CP=$CP:$UNITCHECK_HOME/unitcheck/classes:lib/junit-4.5.jar:lib/log4j-1.2.15.jar:lib/args4j-2.0.9.jar:$UNITCHECK_HOME/distribution/conf:$JPF_HOME/build/app:$JPF_HOME/build/jpf:$JPF_HOME/build/env

echo $CP

java $JVM_FLAGS -classpath "$CP" cz.kebrt.unitcheck.runner.UnitCheckConsoleRunner -b $UNITCHECK_HOME/unitcheck $@