EXAMPLE_CLASS=$1
CLASSPATH_COMPILE=JGSTestclasses/Demo/target/scala-2.11/classes:JGSTestclasses/Scratch/target/scala-2.11/classes:JGSSupport/target/scala-2.11/classes:DynamicAnalyzer/target/scala-2.11/classes
CLASSPATH_RUN=.:DynamicAnalyzer/target/scala-2.11/classes:GradualConstraints/InstrumentationSupport/target/scala-2.11/classes:lib/commons-collections4-4.0.jar:JGSSupport/target/scala-2.11/classes
OUTPUT_DIR=soot/Output

set -e

[[ x$JAVA_HOME = x ]] && echo "Please specify JAVA_HOME" && exit -1

echo ==========================
echo CHECK AND INSTRUMENT
echo ==========================

sbt "run -m $EXAMPLE_CLASS -cp $CLASSPATH_COMPILE -o $OUTPUT_DIR $2"

echo ==========================
echo RUN $EXAMPLE_CLASS
echo ==========================

$JAVA_HOME/bin/java -cp $OUTPUT_DIR:$CLASSPATH_RUN $EXAMPLE_CLASS

EXAMPLE_CLASS=$1
CLASSPATH_COMPILE=JGSTestclasses/Demo/target/scala-2.11/classes:JGSTestclasses/Scratch/target/scala-2.11/classes:JGSSupport/target/scala-2.11/classes:DynamicAnalyzer/target/scala-2.11/classes
CLASSPATH_RUN=.:DynamicAnalyzer/target/scala-2.11/classes:GradualConstraints/InstrumentationSupport/target/scala-2.11/classes:lib/commons-collections4-4.0.jar:JGSSupport/target/scala-2.11/classes
OUTPUT_DIR=out-instrumented

set -e

[[ x$JAVA_HOME = x ]] && echo "Please specify JAVA_HOME" && exit -1

echo ==========================
echo CHECK AND INSTRUMENT
echo ==========================

sbt "run -m $EXAMPLE_CLASS -cp $CLASSPATH_COMPILE -o $OUTPUT_DIR $2"

echo ==========================
echo RUN $EXAMPLE_CLASS
echo ==========================

$JAVA_HOME/bin/java -cp $OUTPUT_DIR:$CLASSPATH_RUN $EXAMPLE_CLASS

Fix script for running demos
Fix script for running demos
