From 4fd375cf5f2264eaad990dd3342eeac23c261be5 Mon Sep 17 00:00:00 2001 From: Hamed Gorjiara Date: Fri, 20 Aug 2021 11:59:33 -0700 Subject: [PATCH] fix(general): removing setup.sh script from gitignore --- .gitignore | 1 - src/Scripts/setup.sh | 15 +++++++++++++++ 2 files changed, 15 insertions(+), 1 deletion(-) create mode 100755 src/Scripts/setup.sh 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 -- 2.34.1