src/Pure/build-jars
changeset 43517 87ec9a1c0f98
parent 43405 723a8af9d3f0
child 43521 d477b92109b8
     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" .