src/Tools/JVM/java_ext_dirs
author wenzelm
Thu May 10 22:49:12 2012 +0200 (2012-05-10)
changeset 47878 45bfbd7d6e58
parent 47465 71d5f37ee2bf
permissions -rwxr-xr-x
file.encoding=UTF-8 for java.ext.dirs, to agree with java runtime invocation;
     1 #!/usr/bin/env bash
     2 #
     3 # Author: Makarius
     4 #
     5 # Augment Java extension directories.
     6 
     7 ## diagnostics
     8 
     9 function fail()
    10 {
    11   echo "$1" >&2
    12   exit 2
    13 }
    14 
    15 [ -n "$ISABELLE_HOME" ] || fail "Missing Isabelle settings environment"
    16 
    17 
    18 ## main
    19 
    20 isabelle_jdk java -Dfile.encoding=UTF-8 \
    21   -classpath "$(jvmpath "$ISABELLE_HOME/src/Tools/JVM/java_ext_dirs.jar")" \
    22   isabelle.Java_Ext_Dirs "$(jvmpath "$ISABELLE_HOME/lib/classes/ext")" 2>/dev/null
    23