Admin/isatest/settings/at64-sml-dev
changeset 31310 b5365a9db718
parent 26371 8e4286e2bffe
child 34238 b28be884edda
equal deleted inserted replaced
31309:be0c4236fe44 31310:b5365a9db718
     1 # -*- shell-script -*-
     1 # -*- shell-script -*- :mode=shellscript:
     2 
     2 
     3 # Standard ML of New Jersey 110 or later
     3 # Standard ML of New Jersey 110 or later
     4 ML_SYSTEM=smlnj
     4 ML_SYSTEM=smlnj
     5 ML_HOME="/home/smlnj/110.60/bin"
     5 ML_HOME="/home/smlnj/110.60/bin"
     6 ML_OPTIONS="@SMLdebug=/dev/null"
     6 ML_OPTIONS="@SMLdebug=/dev/null"