equal
deleted
inserted
replaced
218 |
218 |
219 CHARSET_SERVICE="META-INF/services/java.nio.charset.spi.CharsetProvider" |
219 CHARSET_SERVICE="META-INF/services/java.nio.charset.spi.CharsetProvider" |
220 mkdir -p "$(dirname "$CHARSET_SERVICE")" |
220 mkdir -p "$(dirname "$CHARSET_SERVICE")" |
221 echo isabelle.Isabelle_Charset_Provider > "$CHARSET_SERVICE" |
221 echo isabelle.Isabelle_Charset_Provider > "$CHARSET_SERVICE" |
222 |
222 |
223 cp "$ISABELLE_HOME/lib/logo/isabelle-32.gif" isabelle/. |
223 cp "$ISABELLE_HOME/lib/logo/isabelle_transparent-32.gif" isabelle/. |
224 |
224 |
225 isabelle_jdk jar cfe "$(jvmpath "$TARGET")" isabelle.Main META-INF isabelle || \ |
225 isabelle_jdk jar cfe "$(jvmpath "$TARGET")" isabelle.Main META-INF isabelle || \ |
226 fail "Failed to produce $TARGET" |
226 fail "Failed to produce $TARGET" |
227 |
227 |
228 cp "$SCALA_HOME/lib/scala-compiler.jar" \ |
228 cp "$SCALA_HOME/lib/scala-compiler.jar" \ |