Admin/isatest/settings/at-poly-5.1-para-e
changeset 31310 b5365a9db718
parent 29643 5e0df4b6849e
child 32080 0a8b5dfee5a5
equal deleted inserted replaced
31309:be0c4236fe44 31310:b5365a9db718
     1 # -*- shell-script -*-
     1 # -*- shell-script -*- :mode=shellscript:
     2 
     2 
     3   POLYML_HOME="/home/polyml/polyml-5.2.1"
     3   POLYML_HOME="/home/polyml/polyml-5.2.1"
     4   ML_SYSTEM="polyml-5.2.1"
     4   ML_SYSTEM="polyml-5.2.1"
     5   ML_PLATFORM="x86-linux"
     5   ML_PLATFORM="x86-linux"
     6   ML_HOME="$POLYML_HOME/$ML_PLATFORM"
     6   ML_HOME="$POLYML_HOME/$ML_PLATFORM"