From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Tue, 1 Jul 2014 19:10:37 +0000 (-0400)
Subject: Fix path in CASC J7 scripts, and distribute them with tarball.
X-Git-Tag: cvc5-1.0.0~6706
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=fde6986e4355f8244b04892a96f2cc224f02769f;p=cvc5.git

Fix path in CASC J7 scripts, and distribute them with tarball.
---

diff --git a/contrib/Makefile.am b/contrib/Makefile.am
index b707a9140..ad3b6f220 100644
--- a/contrib/Makefile.am
+++ b/contrib/Makefile.am
@@ -13,7 +13,10 @@ EXTRA_DIST = \
 	get-antlr-3.4 \
 	mac-build \
 	win32-build \
-	run-script-smtcomp2012 \
+	run-script-smtcomp2014 \
+	run-script-cascj7-fnt \
+	run-script-cascj7-fof \
+	run-script-cascj7-tff \
 	theoryskel/kinds \
 	theoryskel/README.WHATS-NEXT \
 	theoryskel/theory_DIR.cpp \
diff --git a/contrib/run-script-cascj7-fnt b/contrib/run-script-cascj7-fnt
index 2c9c6b76f..e3ad1a2ff 100755
--- a/contrib/run-script-cascj7-fnt
+++ b/contrib/run-script-cascj7-fnt
@@ -1,6 +1,6 @@
 #!/bin/bash
 
-cvc4=cvc4
+cvc4=./cvc4
 bench="$1"
 
 file=${bench##*/}
diff --git a/contrib/run-script-cascj7-fof b/contrib/run-script-cascj7-fof
index 524a18549..fb2ca33eb 100755
--- a/contrib/run-script-cascj7-fof
+++ b/contrib/run-script-cascj7-fof
@@ -1,6 +1,6 @@
 #!/bin/bash
 
-cvc4=cvc4
+cvc4=./cvc4
 bench="$1"
 
 file=${bench##*/}
diff --git a/contrib/run-script-cascj7-tff b/contrib/run-script-cascj7-tff
index 692cf8875..11350cd7e 100755
--- a/contrib/run-script-cascj7-tff
+++ b/contrib/run-script-cascj7-tff
@@ -1,6 +1,6 @@
 #!/bin/bash
 
-cvc4=cvc4
+cvc4=./cvc4
 bench="$1"
 
 file=${bench##*/}