Admin/isatest/settings/at-sml-dev-e
changeset 26371 8e4286e2bffe
parent 26210 cf904c5642e1
child 31310 b5365a9db718
equal deleted inserted replaced
26370:2a4f0d0621f1 26371:8e4286e2bffe
     1 # -*- shell-script -*-
     1 # -*- shell-script -*-
     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="/usr/proj/smlnj/110.67/bin"
     5 ML_HOME="/home/smlnj/110.67/bin"
     6 ML_OPTIONS="@SMLdebug=/dev/null"
     6 ML_OPTIONS="@SMLdebug=/dev/null"
     7 ML_PLATFORM=$(eval $("$ML_HOME/.arch-n-opsys" 2>/dev/null); echo "$HEAP_SUFFIX")
     7 ML_PLATFORM=$(eval $("$ML_HOME/.arch-n-opsys" 2>/dev/null); echo "$HEAP_SUFFIX")
     8 
     8 
     9 ISABELLE_HOME_USER="$HOME/isabelle-at-sml-dev-e"
     9 ISABELLE_HOME_USER="$HOME/isabelle-at-sml-dev-e"
    10 
    10