equal
deleted
inserted
replaced
105 fi |
105 fi |
106 if [ -z "$ISABELLE_OCAMLC" -a -f "$ISABELLE_OPAM_ROOT/$ISABELLE_OCAML_VERSION/bin/ocamlc" ]; then |
106 if [ -z "$ISABELLE_OCAMLC" -a -f "$ISABELLE_OPAM_ROOT/$ISABELLE_OCAML_VERSION/bin/ocamlc" ]; then |
107 ISABELLE_OCAMLC="$ISABELLE_HOME/lib/Tools/ocamlc" |
107 ISABELLE_OCAMLC="$ISABELLE_HOME/lib/Tools/ocamlc" |
108 fi |
108 fi |
109 |
109 |
|
110 #GHC |
|
111 if [ -z "$ISABELLE_GHC" -a -d "$ISABELLE_STACK_ROOT" -a -f "$(isabelle_stack path --programs)/$ISABELLE_GHC_VERSION/ghc" ]; then |
|
112 ISABELLE_GHC="$ISABELLE_HOME/lib/Tools/ghc" |
|
113 fi |
|
114 |
110 #enforce JAVA_HOME |
115 #enforce JAVA_HOME |
111 if [ -d "$ISABELLE_JDK_HOME/jre" ] |
116 if [ -d "$ISABELLE_JDK_HOME/jre" ] |
112 then |
117 then |
113 export JAVA_HOME="$ISABELLE_JDK_HOME/jre" |
118 export JAVA_HOME="$ISABELLE_JDK_HOME/jre" |
114 else |
119 else |