equal
deleted
inserted
replaced
97 ML_IDENTIFIER="$ML_SYSTEM" |
97 ML_IDENTIFIER="$ML_SYSTEM" |
98 else |
98 else |
99 ML_IDENTIFIER="${ML_SYSTEM}_${ML_PLATFORM}" |
99 ML_IDENTIFIER="${ML_SYSTEM}_${ML_PLATFORM}" |
100 fi |
100 fi |
101 |
101 |
102 #enforce ISABELLE_OCAML |
102 #enforce ISABELLE_OCAMLFIND |
103 if [ -f "$ISABELLE_OPAM_ROOT/$ISABELLE_OCAML_VERSION/bin/ocaml" ]; then |
|
104 ISABELLE_OCAML="$ISABELLE_HOME/lib/scripts/ocaml" |
|
105 fi |
|
106 |
|
107 #enforce ISABELLE_OCAMLC |
|
108 if [ -f "$ISABELLE_OPAM_ROOT/$ISABELLE_OCAML_VERSION/bin/ocamlc" ]; then |
|
109 ISABELLE_OCAMLC="$ISABELLE_HOME/lib/scripts/ocamlc" |
|
110 fi |
|
111 |
|
112 #enforce ISABELLE_OCAMLEXEC |
|
113 if [ -d "$ISABELLE_OPAM_ROOT/$ISABELLE_OCAML_VERSION/bin" ]; then |
103 if [ -d "$ISABELLE_OPAM_ROOT/$ISABELLE_OCAML_VERSION/bin" ]; then |
114 ISABELLE_OCAMLEXEC="$ISABELLE_HOME/lib/scripts/ocamlexec" |
104 ISABELLE_OCAMLFIND="$ISABELLE_HOME/lib/scripts/ocamlfind" |
115 fi |
105 fi |
116 |
106 |
117 #enforce ISABELLE_GHC |
107 #enforce ISABELLE_GHC |
118 if [ -d "$ISABELLE_STACK_ROOT" -a -f "$ISABELLE_STACK_ROOT/ISABELLE_GHC_PROGRAMS" ]; then |
108 if [ -d "$ISABELLE_STACK_ROOT" -a -f "$ISABELLE_STACK_ROOT/ISABELLE_GHC_PROGRAMS" ]; then |
119 if [ -f "$(cat "$ISABELLE_STACK_ROOT/ISABELLE_GHC_PROGRAMS")/$ISABELLE_GHC_VERSION/bin/ghc" ]; then |
109 if [ -f "$(cat "$ISABELLE_STACK_ROOT/ISABELLE_GHC_PROGRAMS")/$ISABELLE_GHC_VERSION/bin/ghc" ]; then |