From d601264286baa3563e590e767fe0848fe9d1252e Mon Sep 17 00:00:00 2001
From: Philippe Suter <philippe.suter@gmail.com>
Date: Mon, 28 Mar 2011 18:29:24 +0000
Subject: [PATCH] binary to run on laraserver. it works !
---
funcheck-laraserver | 15 +++++++++++++++
1 file changed, 15 insertions(+)
create mode 100755 funcheck-laraserver
diff --git a/funcheck-laraserver b/funcheck-laraserver
new file mode 100755
index 000000000..418bf2959
--- /dev/null
+++ b/funcheck-laraserver
@@ -0,0 +1,15 @@
+#!/bin/bash
+FUNCHECKCLASSPATH="/localhome/liftweb/funcheck/project/boot/scala-2.8.1/lib/scala-library.jar:/localhome/liftweb/funcheck/project/boot/scala-2.8.1/lib/scala-compiler.jar:/localhome/liftweb/funcheck/bin/purescala/purescala-definitions_2.8.1-1.0.jar:/localhome/liftweb/funcheck/bin/funcheck/funcheck-plugin_2.8.1-1.0.jar:/localhome/liftweb/funcheck/lib/z3.jar"
+
+for f in "/localhome/liftweb/funcheck/bin/multisets-lib/multiset-placeholder-library_2.8.1-1.0.jar" "/localhome/liftweb/funcheck/bin/multisets/multiset-solver_2.8.1-1.0.jar" "/localhome/liftweb/funcheck/bin/orderedsets/ordered-sets-solver_2.8.1-1.0.jar" "/localhome/liftweb/funcheck/bin/setconstraints/type-inference-with-set-constraints_2.8.1-1.0.jar"; do
+ if [ -e ${f} ]
+ then
+ FUNCHECKCLASSPATH=${FUNCHECKCLASSPATH}:${f}
+ fi
+done
+
+SCALACCLASSPATH="/localhome/liftweb/funcheck/bin/multisets-lib/multiset-placeholder-library_2.8.1-1.0.jar:/localhome/liftweb/funcheck/bin/funcheck/funcheck-plugin_2.8.1-1.0.jar:/localhome/liftweb/funcheck/bin/purescala/purescala-definitions_2.8.1-1.0.jar"
+
+LD_LIBRARY_PATH=/localhome/liftweb/libstdc++:/localhome/liftweb/z3/z3-2.19/lib \
+scala -classpath ${FUNCHECKCLASSPATH}:${SCALACCLASSPATH} \
+funcheck.Main -cp /localhome/liftweb/funcheck/bin/funcheck/funcheck-plugin_2.8.1-1.0.jar $@
--
GitLab