equal
deleted
inserted
replaced
1 # -*- shell-script -*- :mode=shellscript: |
1 # -*- shell-script -*- :mode=shellscript: |
2 |
2 |
3 init_components /home/isabelle/contrib "$HOME/admin/components/main" |
3 init_components /home/isabelle/contrib "$HOME/admin/components/main" |
4 |
4 |
5 POLYML_HOME="/home/polyml/polyml-5.3.0" |
5 ML_OPTIONS="-H 1000 --gcthreads 1" |
6 ML_SYSTEM="polyml-5.3.0" |
|
7 ML_PLATFORM="x86-linux" |
|
8 ML_HOME="$POLYML_HOME/$ML_PLATFORM" |
|
9 ML_OPTIONS="-H 1000" |
|
10 |
6 |
11 ISABELLE_GHC=/usr/bin/ghc |
7 ISABELLE_GHC=/usr/bin/ghc |
12 |
8 |
13 ISABELLE_HOME_USER=~/isabelle-at-poly |
9 ISABELLE_HOME_USER=~/isabelle-at-poly |
14 |
10 |
33 ISABELLE_OCAML=ocaml |
29 ISABELLE_OCAML=ocaml |
34 ISABELLE_OCAMLC=ocamlc |
30 ISABELLE_OCAMLC=ocamlc |
35 ISABELLE_POLYML="$ML_HOME/poly" |
31 ISABELLE_POLYML="$ML_HOME/poly" |
36 ISABELLE_SCALA="$SCALA_HOME/bin" |
32 ISABELLE_SCALA="$SCALA_HOME/bin" |
37 ISABELLE_SMLNJ="/home/smlnj/bin/sml" |
33 ISABELLE_SMLNJ="/home/smlnj/bin/sml" |
38 |
|