Merge branch 'master' into brian
[satune.git] / 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 $@