| changeset 67581 | 30f412d1d7c3 |
| parent 67580 | eb64467e8bcf |
| child 67582 | bf5c69acf2be |
| 67580:eb64467e8bcf | 67581:30f412d1d7c3 |
|---|---|
1 #!/usr/bin/env bash |
|
2 # |
|
3 # Portable Poly/ML command-line tool |
|
4 |
|
5 THIS="$(cd "$(dirname "$0")"; pwd)" |
|
6 |
|
7 export DYLD_LIBRARY_PATH="$THIS:$DYLD_LIBRARY_PATH" |
|
8 |
|
9 if type -p rlwrap > /dev/null |
|
10 then |
|
11 exec rlwrap "$THIS/poly" "$@" |
|
12 else |
|
13 exec "$THIS/poly" "$@" |
|
14 fi |