equal
deleted
inserted
replaced
2 # |
2 # |
3 # Portable Poly/ML command-line tool |
3 # Portable Poly/ML command-line tool |
4 |
4 |
5 THIS="$(cd "$(dirname "$0")"; pwd)" |
5 THIS="$(cd "$(dirname "$0")"; pwd)" |
6 |
6 |
7 export LD_LIBRARY_PATH="$THIS:$LD_LIBRARY_PATH" |
|
8 export DYLD_LIBRARY_PATH="$THIS:$DYLD_LIBRARY_PATH" |
7 export DYLD_LIBRARY_PATH="$THIS:$DYLD_LIBRARY_PATH" |
9 |
8 |
10 if type -p rlwrap > /dev/null |
9 if type -p rlwrap > /dev/null |
11 then |
10 then |
12 exec rlwrap "$THIS/poly" "$@" |
11 exec rlwrap "$THIS/poly" "$@" |