author | wenzelm |
Sat, 21 Nov 2009 16:07:58 +0100 | |
changeset 33833 | c38c2a1883e7 |
parent 33832 | cff42395c246 |
child 33834 | 7c06e19f717c |
1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000 1.2 +++ b/Admin/polyml/polyml Sat Nov 21 16:07:58 2009 +0100 1.3 @@ -0,0 +1,11 @@ 1.4 +#!/usr/bin/env bash 1.5 +# 1.6 +# Minimal Poly/ML startup script 1.7 + 1.8 +THIS="$(cd "$(dirname "$0")"; pwd)" 1.9 + 1.10 +export LD_LIBRARY_PATH="$THIS:$LD_LIBRARY_PATH" 1.11 +export DYLD_LIBRARY_PATH="$THIS:$DYLD_LIBRARY_PATH" 1.12 + 1.13 +exec "$THIS/poly" "$@" 1.14 +