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