Admin/polyml/polyml

standardized alias;

+
−#!/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" "$@"
+
−