Admin/polyml/polyi
changeset 63229 f951c624c1a1
parent 60983 ff4a67c65084
child 67580 eb64467e8bcf
equal deleted inserted replaced
63228:acfa595636c7 63229:f951c624c1a1
       
     1 #!/usr/bin/env bash
       
     2 #
       
     3 # Portable Poly/ML command-line tool
       
     4 
       
     5 THIS="$(cd "$(dirname "$0")"; pwd)"
       
     6 
       
     7 export LD_LIBRARY_PATH="$THIS:$LD_LIBRARY_PATH"
       
     8 export DYLD_LIBRARY_PATH="$THIS:$DYLD_LIBRARY_PATH"
       
     9 
       
    10 if type -p rlwrap > /dev/null
       
    11 then
       
    12   exec rlwrap "$THIS/poly" "$@"
       
    13 else
       
    14   exec "$THIS/poly" "$@"
       
    15 fi