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

diff --git a/.gitignore b/.gitignore
index 64236e112aa9cde40ed748ba987a2f2a08d0ada3..5e92d749e95ead85849c50d63069617ac6b62376 100644 (file)
--- 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 (executable)
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