From: Hamed Gorjiara <hgorjiar@uci.edu>
Date: Fri, 20 Aug 2021 18:59:33 +0000 (-0700)
Subject: fix(general): removing setup.sh script from gitignore
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=4fd375cf5f2264eaad990dd3342eeac23c261be5;p=satune.git

fix(general): removing setup.sh script from gitignore
---

diff --git a/.gitignore b/.gitignore
index 64236e1..5e92d74 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,7 +1,6 @@
 #Ignoring netbeans configs
 nbproject/
 sat_solver*
-setup.sh
 
 #Ignoring binary files
 src/bin/
diff --git a/src/Scripts/setup.sh b/src/Scripts/setup.sh
new file mode 100755
index 0000000..d292827
--- /dev/null
+++ b/src/Scripts/setup.sh
@@ -0,0 +1,15 @@
+#!/bin/bash
+set -e
+
+
+make
+cd Test
+make
+cd ..
+cp sat_solver ./bin
+cp pycsolver.py ./bin
+cp original.jar ./bin
+cp ./Scripts/runinterpreter.sh ./bin
+cp z3 ./bin
+cp mathsat ./bin
+cp smtrat ./bin