equal
deleted
inserted
replaced
230 |
230 |
231 CHARSET_SERVICE="META-INF/services/java.nio.charset.spi.CharsetProvider" |
231 CHARSET_SERVICE="META-INF/services/java.nio.charset.spi.CharsetProvider" |
232 mkdir -p "$(dirname "$CHARSET_SERVICE")" |
232 mkdir -p "$(dirname "$CHARSET_SERVICE")" |
233 echo isabelle.Isabelle_Charset_Provider > "$CHARSET_SERVICE" |
233 echo isabelle.Isabelle_Charset_Provider > "$CHARSET_SERVICE" |
234 |
234 |
|
235 cp "$ISABELLE_HOME/lib/logo/isabelle.gif" isabelle/. |
|
236 |
235 isabelle_jdk jar cfe "$(jvmpath "$TARGET")" isabelle.GUI_Setup META-INF isabelle || \ |
237 isabelle_jdk jar cfe "$(jvmpath "$TARGET")" isabelle.GUI_Setup META-INF isabelle || \ |
236 fail "Failed to produce $TARGET" |
238 fail "Failed to produce $TARGET" |
237 |
239 |
238 cp "$SCALA_HOME/lib/scala-compiler.jar" \ |
240 cp "$SCALA_HOME/lib/scala-compiler.jar" \ |
239 "$SCALA_HOME/lib/scala-library.jar" \ |
241 "$SCALA_HOME/lib/scala-library.jar" \ |