author | berghofe |
Mon, 05 Aug 2002 14:35:33 +0200 | |
changeset 13455 | f88a91ff8ac6 |
parent 11082 | 9a7cdfaa7ecb |
permissions | -rwxr-xr-x |
#!/bin/sh # # platform independent Poly/ML wrapper script ## self references PRG="`basename "$0"`" if [ -h "$0" ]; then THIS="`cd "\`dirname "$0"\`"; cd "\`dirname "\\\`ls -l "$PRG" | sed -e 's/^.* -> //'\\\`"\`"; pwd`" else THIS="`cd "\`dirname "$0"\`"; pwd`" fi SUPER="`cd "$THIS/.."; pwd`" ## run poly PLATFORM=`"$THIS/polyml-platform"` exec "$SUPER/$PLATFORM/poly" $*