#! /bin/sh
TOOL_HOME=/Users/guitest/Documents/work/sbstcontest/playground
CONF=$TOOL_HOME/sample_configurations/FITTEST_2014_competition_benchmark/benchmarks.list
JAR=$TOOL_HOME/../benchmarktool/target/benchmarktool-0.0.2-jar-with-dependencies.jar
JUNIT_JAR=$TOOL_HOME/lib/junit-4.10.jar
PITEST_JAR=$TOOL_HOME/lib/pitest-0.31.jar
JACOCO_JAR=$TOOL_HOME/lib/jacocoagent.jar
#JAVAC_CMD=/System/Library/Frameworks/JavaVM.framework/Versions/1.6/Home/bin/javac
#JAVA_CMD=/System/Library/Frameworks/JavaVM.framework/Versions/1.6/Home/bin/java
JAVAC_CMD=/System/Library/Frameworks/JavaVM.framework/Versions/Current/Commands/javac
JAVA_CMD=/System/Library/Frameworks/JavaVM.framework/Versions/Current/Commands/java
exec java -Dsbst.benchmark.jacoco="$JACOCO_JAR" -Dsbst.benchmark.java="$JAVA_CMD" -Dsbst.benchmark.javac="$JAVAC_CMD" -Dsbst.benchmark.config="$CONF" -Dsbst.benchmark.junit="$JUNIT_JAR" -Dsbst.benchmark.pitest="$PITEST_JAR" -jar "$JAR" $*