Updated theta starter script

ftsrg · Oct 13, 2021 · a316b70 · a316b70
1 parent 5c7090f
commit a316b70
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/scripts/theta-start.sh b/scripts/theta-start.sh
@@ -2,6 +2,7 @@
 if [ $1 == "--version" ]; then
     echo "3.0.0-svcomp22-qr"
 else
-    echo java -Xss120m -Xmx14210m -jar theta.jar "${@:2}" --input $1
-    java -Xss120m -Xmx14210m -jar theta.jar "${@:2}" --input $1
+    scriptdir=$(dirname $(realpath "$0"))
+    echo LD_LIBRARY_PATH=$scriptdir/lib java -Xss120m -Xmx14210m -jar $scriptdir/theta.jar "${@:2}" --input $1 --smt-home $scriptdir/solvers
+    LD_LIBRARY_PATH=$scriptdir/lib java -Xss120m -Xmx14210m -jar $scriptdir/theta.jar "${@:2}" --input $1 --smt-home $scriptdir/solvers
 fi