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

diff --git a/contrib/Makefile.am b/contrib/Makefile.am
index b707a9140bdd26549077ca2b5b85373a83439865..ad3b6f220923ad07809c2727a344c9b596975fe5 100644 (file)
--- 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 2c9c6b76f0deac7dec445d25f7f2bce88356c57c..e3ad1a2ffa8f525adf14b1acf5224bfa712c0fee 100755 (executable)
--- 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 524a185497f70efcf3452aa0b42651299b9ad7ec..fb2ca33eb080f9ffc415212434af6129be1ec2dd 100755 (executable)
--- 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 692cf8875c511a75da54f6b51025c81f3afa5711..11350cd7e6aa6e3f35a648b80094756337afe9b8 100755 (executable)
--- 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##*/}