Admin/polyml/polyi

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/polyml/polyi	Sat Jun 04 16:54:23 2016 +0200
@@ -0,0 +1,15 @@
+#!/usr/bin/env bash
+#
+# Portable Poly/ML command-line tool
+
+THIS="$(cd "$(dirname "$0")"; pwd)"
+
+export LD_LIBRARY_PATH="$THIS:$LD_LIBRARY_PATH"
+export DYLD_LIBRARY_PATH="$THIS:$DYLD_LIBRARY_PATH"
+
+if type -p rlwrap > /dev/null
+then
+  exec rlwrap "$THIS/poly" "$@"
+else
+  exec "$THIS/poly" "$@"
+fi