equal
deleted
inserted
replaced
91 else |
91 else |
92 mkdir -p "$ISABELLE_HOME_USER" |
92 mkdir -p "$ISABELLE_HOME_USER" |
93 chmod $(umask -S) "$ISABELLE_HOME_USER" |
93 chmod $(umask -S) "$ISABELLE_HOME_USER" |
94 fi |
94 fi |
95 |
95 |
96 #POLYML_EXE |
|
97 case "$ISABELLE_PLATFORM_FAMILY" in |
|
98 windows*) |
|
99 POLYML_EXE="$ML_HOME/poly.exe" |
|
100 ;; |
|
101 *) |
|
102 POLYML_EXE="$ML_HOME/poly" |
|
103 ;; |
|
104 esac |
|
105 |
|
106 #enforce ISABELLE_OCAMLFIND |
96 #enforce ISABELLE_OCAMLFIND |
107 if [ -d "$ISABELLE_OPAM_ROOT/$ISABELLE_OCAML_VERSION/bin" ]; then |
97 if [ -d "$ISABELLE_OPAM_ROOT/$ISABELLE_OCAML_VERSION/bin" ]; then |
108 ISABELLE_OCAMLFIND="$ISABELLE_HOME/lib/scripts/ocamlfind" |
98 ISABELLE_OCAMLFIND="$ISABELLE_HOME/lib/scripts/ocamlfind" |
109 fi |
99 fi |
110 |
100 |