src/Scripts/setup.sh

   1 #!/bin/bash
   2 set -e
   3
   4
   5 make
   6 cd Test
   7 make
   8 cd ..
   9 cp sat_solver ./bin
  10 cp pycsolver.py ./bin
  11 cp original.jar ./bin
  12 cp ./Scripts/runinterpreter.sh ./bin
  13 cp z3 ./bin
  14 cp mathsat ./bin
  15 cp smtrat ./bin