src/Test/run.sh

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