equal
deleted
inserted
replaced
158 LINUX_CLASSPATH="\\\$ISABELLE_HOME/$ENTRY" |
158 LINUX_CLASSPATH="\\\$ISABELLE_HOME/$ENTRY" |
159 else |
159 else |
160 LINUX_CLASSPATH="$LINUX_CLASSPATH:\\\$ISABELLE_HOME/$ENTRY" |
160 LINUX_CLASSPATH="$LINUX_CLASSPATH:\\\$ISABELLE_HOME/$ENTRY" |
161 fi |
161 fi |
162 done |
162 done |
163 cat "$ISABELLE_HOME/Admin/Linux/Isabelle" | \ |
163 cat "$ISABELLE_HOME/Admin/Linux/Isabelle.run" | \ |
164 perl -p > "$ISABELLE_TARGET/$ISABELLE_NAME" \ |
164 perl -p > "$ISABELLE_TARGET/${ISABELLE_NAME}.run" \ |
165 -e "s,{JAVA_ARGS},$JEDIT_JAVA_OPTIONS $JEDIT_SYSTEM_OPTIONS,g; s,{CLASSPATH},$LINUX_CLASSPATH,;" |
165 -e "s,{JAVA_ARGS},$JEDIT_JAVA_OPTIONS $JEDIT_SYSTEM_OPTIONS,g; s,{CLASSPATH},$LINUX_CLASSPATH,;" |
166 chmod +x "$ISABELLE_TARGET/$ISABELLE_NAME" |
166 chmod +x "$ISABELLE_TARGET/${ISABELLE_NAME}.run" |
|
167 |
|
168 mv "$ISABELLE_TARGET/contrib/linux_app" "$TMP/." |
|
169 cp "$TMP/linux_app/Isabelle" "$ISABELLE_TARGET/$ISABELLE_NAME" |
167 ;; |
170 ;; |
168 macos) |
171 macos) |
169 purge_contrib '-name "x86*-linux" -o -name "x86*-cygwin" -o -name "x86*-windows"' |
172 purge_contrib '-name "x86*-linux" -o -name "x86*-cygwin" -o -name "x86*-windows"' |
170 mv "$ISABELLE_TARGET/contrib/macos_app" "$TMP/." |
173 mv "$ISABELLE_TARGET/contrib/macos_app" "$TMP/." |
171 |
174 |