src/Tools/JVM/java_ext_dirs
author wenzelm
Sat Apr 14 14:36:36 2012 +0200 (2012-04-14)
changeset 47465 71d5f37ee2bf
parent 47115 1a05adae1cc9
child 47878 45bfbd7d6e58
permissions -rwxr-xr-x
more robust invocation via ISABELLE_JDK_HOME and SCALA_HOME;
     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 \
    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