equal
deleted
inserted
replaced
111 |
111 |
112 #enforce ISABELLE_GHC |
112 #enforce ISABELLE_GHC |
113 if [ -d "$ISABELLE_STACK_ROOT" -a -f "$ISABELLE_STACK_ROOT/ISABELLE_GHC_PROGRAMS" ]; then |
113 if [ -d "$ISABELLE_STACK_ROOT" -a -f "$ISABELLE_STACK_ROOT/ISABELLE_GHC_PROGRAMS" ]; then |
114 if [ -f "$(cat "$ISABELLE_STACK_ROOT/ISABELLE_GHC_PROGRAMS")/$ISABELLE_GHC_VERSION/bin/ghc" ]; then |
114 if [ -f "$(cat "$ISABELLE_STACK_ROOT/ISABELLE_GHC_PROGRAMS")/$ISABELLE_GHC_VERSION/bin/ghc" ]; then |
115 ISABELLE_GHC="$ISABELLE_HOME/lib/scripts/ghc" |
115 ISABELLE_GHC="$ISABELLE_HOME/lib/scripts/ghc" |
|
116 ISABELLE_GHC_STACK=true |
116 fi |
117 fi |
117 fi |
118 fi |
118 |
119 |
119 #enforce JAVA_HOME |
120 #enforce JAVA_HOME |
120 if [ -d "$ISABELLE_JDK_HOME/jre" ] |
121 if [ -d "$ISABELLE_JDK_HOME/jre" ] |