Admin/polyml/polyml
changeset 33833 c38c2a1883e7
child 60983 ff4a67c65084
equal deleted inserted replaced
33832:cff42395c246 33833:c38c2a1883e7
       
     1 #!/usr/bin/env bash
       
     2 #
       
     3 # Minimal Poly/ML startup script
       
     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 exec "$THIS/poly" "$@"
       
    11