src/Test/run.sh

   1 #!/bin/bash
   2
   3 export LD_LIBRARY_PATH=../bin
   4 # For Mac OSX
   5 export DYLD_LIBRARY_PATH=../bin
   6 # For sat_solver
   7 export PATH=.:$PATH
   8
   9 $@