summarylogtreecommitdiffstats
path: root/fzn-gecode-gist-lib-path.patch
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 "$@"