|
11082
|
1 |
#!/bin/sh
|
|
11073
|
2 |
#
|
|
11082
|
3 |
# platform independent Poly/ML wrapper script
|
|
11073
|
4 |
|
|
|
5 |
|
|
|
6 |
## self references
|
|
|
7 |
|
|
11082
|
8 |
PRG="`basename "$0"`"
|
|
|
9 |
|
|
11073
|
10 |
if [ -h "$0" ]; then
|
|
11082
|
11 |
THIS="`cd "\`dirname "$0"\`"; cd "\`dirname "\\\`ls -l "$PRG" | sed -e 's/^.* -> //'\\\`"\`"; pwd`"
|
|
11073
|
12 |
else
|
|
11074
|
13 |
THIS="`cd "\`dirname "$0"\`"; pwd`"
|
|
11073
|
14 |
fi
|
|
|
15 |
|
|
11074
|
16 |
SUPER="`cd "$THIS/.."; pwd`"
|
|
11073
|
17 |
|
|
|
18 |
|
|
11074
|
19 |
## run poly
|
|
11073
|
20 |
|
|
|
21 |
PLATFORM=`"$THIS/polyml-platform"`
|
|
11074
|
22 |
exec "$SUPER/$PLATFORM/poly" $*
|