blob: bf7f63608e1a72457447a9b04f45a3e684c9706c (
plain)
1
2
3
4
5
6
7
8
9
|
--- bin/run-fzn-gecode-gist
+++ bin/run-fzn-gecode-gist
@@ -1,3 +1,4 @@
#!/bin/bash
-DIR=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )
+DIR=$( cd "$( dirname "$( readlink -f "${BASH_SOURCE[0]}" )" )" && pwd )
+export LD_LIBRARY_PATH="$DIR/../lib":$LD_LIBRARY_PATH
exec "$DIR"/fzn-gecode-gist -mode gist "$@"
|