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;
wenzelm@43518
     1
#!/usr/bin/env bash
wenzelm@43518
     2
#
wenzelm@43518
     3
# Author: Makarius
wenzelm@43518
     4
#
wenzelm@43518
     5
# Augment Java extension directories.
wenzelm@43518
     6
wenzelm@43518
     7
## diagnostics
wenzelm@43518
     8
wenzelm@43518
     9
function fail()
wenzelm@43518
    10
{
wenzelm@43518
    11
  echo "$1" >&2
wenzelm@43518
    12
  exit 2
wenzelm@43518
    13
}
wenzelm@43518
    14
wenzelm@45385
    15
[ -n "$ISABELLE_HOME" ] || fail "Missing Isabelle settings environment"
wenzelm@43518
    16
wenzelm@43518
    17
wenzelm@43518
    18
## main
wenzelm@43518
    19
wenzelm@47878
    20
isabelle_jdk java -Dfile.encoding=UTF-8 \
wenzelm@47113
    21
  -classpath "$(jvmpath "$ISABELLE_HOME/src/Tools/JVM/java_ext_dirs.jar")" \
wenzelm@47465
    22
  isabelle.Java_Ext_Dirs "$(jvmpath "$ISABELLE_HOME/lib/classes/ext")" 2>/dev/null
wenzelm@43518
    23