author | haftmann |
Mon, 06 Jun 2005 14:12:07 +0200 | |
changeset 16301 | f9f2e1643593 |
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" $*