1.1 --- a/src/Pure/build-jars Wed Jun 22 23:56:44 2011 +0200
1.2 +++ b/src/Pure/build-jars Thu Jun 23 10:58:29 2011 +0200
1.3 @@ -37,6 +37,7 @@
1.4 System/download.scala
1.5 System/event_bus.scala
1.6 System/gui_setup.scala
1.7 + System/isabelle_charset.scala
1.8 System/isabelle_process.scala
1.9 System/isabelle_syntax.scala
1.10 System/isabelle_system.scala
1.11 @@ -165,7 +166,11 @@
1.12
1.13 pushd classes >/dev/null
1.14
1.15 - jar cfe "$(jvmpath "$PURE_JAR")" isabelle.GUI_Setup isabelle || \
1.16 + CHARSET_SERVICE="META-INF/services/java.nio.charset.spi.CharsetProvider"
1.17 + mkdir -p "$(dirname "$CHARSET_SERVICE")"
1.18 + echo isabelle.Isabelle_Charset_Provider > "$CHARSET_SERVICE"
1.19 +
1.20 + jar cfe "$(jvmpath "$PURE_JAR")" isabelle.GUI_Setup META-INF isabelle || \
1.21 fail "Failed to produce $PURE_JAR"
1.22
1.23 cp "$SCALA_HOME/lib/scala-swing.jar" .