#!/usr/bin/env bash # # Minimal Poly/ML startup script THIS="$(cd "$(dirname "$0")"; pwd)" export LD_LIBRARY_PATH="$THIS:$LD_LIBRARY_PATH" export DYLD_LIBRARY_PATH="$THIS:$DYLD_LIBRARY_PATH" exec "$THIS/poly" "$@"