add script to execute our examples.

Author: kfriedberger

runExamples.sh

@@ -0,0 +1,79 @@
+#!/bin/bash
+
+#------------------------------------------------------------------------------
+# check Java version
+#------------------------------------------------------------------------------
+
+[ -z "$JAVA" ] && JAVA=java
+java_version="`$JAVA -XX:-UsePerfData -Xmx5m -version 2>&1`"
+result=$?
+if [ $result -eq 127 ]; then
+  echo "Java not found, please install Java 1.8 or newer." 1>&2
+  echo "For Ubuntu: sudo apt-get install openjdk-8-jre" 1>&2
+  echo "If you have installed Java 8, but it is not in your PATH," 1>&2
+  echo "let the environment variable JAVA point to the \"java\" binary." 1>&2
+  exit 1
+fi
+if [ $result -ne 0 ]; then
+  echo "Failed to execute Java VM, return code was $result and output was"
+  echo "$java_version"
+  echo "Please make sure you are able to execute Java processes by running \"$JAVA\"."
+  exit 1
+fi
+java_version="`echo "$java_version" | grep -e "^\(java\|openjdk\) version" | cut -f2 -d\\\" | sed 's/\.//g' | cut -b1-2`"
+if [ -z "$java_version" ] || [ "$java_version" -lt 18 -a "$java_version" -gt 13 ] ; then
+  echo "Your Java version is too old, please install Java 1.8 or newer." 1>&2
+  echo "For Ubuntu: sudo apt-get install openjdk-8-jre" 1>&2
+  echo "If you have installed Java 8, but it is not in your PATH," 1>&2
+  echo "let the environment variable JAVA point to the \"java\" binary." 1>&2
+  exit 1
+fi
+
+
+#------------------------------------------------------------------------------
+# build classpath for JavaSMT
+#------------------------------------------------------------------------------
+
+platform="`uname -s`"
+
+# where the project directory is, relative to the location of this script
+case "$platform" in
+  Linux|CYGWIN*)
+    SCRIPT="$(readlink -f "$0")"
+    [ -n "$PATH_TO_JAVASMT" ] || PATH_TO_JAVASMT="$(readlink -f "$(dirname "$SCRIPT")")"
+    ;;
+  # other platforms like Mac don't support readlink -f
+  *)
+    [ -n "$PATH_TO_JAVASMT" ] || PATH_TO_JAVASMT="$(dirname "$0")"
+    ;;
+esac
+
+if [ ! -e "$PATH_TO_JAVASMT/bin/org/sosy_lab/java_smt/example/AllSatExample.class" ] ; then
+  if [ ! -e "$PATH_TO_JAVASMT/javasmt.jar" ] ; then
+    echo "Could not find JAVASMT binary, please check path to project directory" 1>&2
+    exit 1
+  fi
+fi
+
+case "$platform" in
+  CYGWIN*)
+    JAVA_VM_ARGUMENTS="$JAVA_VM_ARGUMENTS -classpath `cygpath -wp $CLASSPATH`"
+    ;;
+esac
+
+export CLASSPATH="$CLASSPATH:$PATH_TO_JAVASMT/bin:$PATH_TO_JAVASMT/JAVASMT.jar:$PATH_TO_JAVASMT/lib/*:$PATH_TO_JAVASMT/lib/java/runtime/*"
+
+# Run Examples for Java-SMT.
+# PerfDisableSharedMem avoids hsperfdata in /tmp (disable it to connect easily with VisualConsole and Co.).
+
+for EXAMPLE in AllSatExample HoudiniApp Interpolation OptimizationFormulaWeights OptimizationIntReal; do
+  echo "####################################################"
+  echo "#  executing example $EXAMPLE"
+  echo "####################################################"
+  "$JAVA" \
+      -XX:+PerfDisableSharedMem \
+      -Djava.awt.headless=true \
+      -ea \
+      $JAVA_VM_ARGUMENTS \
+      org.sosy_lab.java_smt.example.$EXAMPLE
+done