src/Tools/JVM/java_ext_dirs
author wenzelm
Mon Mar 26 16:25:08 2012 +0200 (2012-03-26)
changeset 47115 1a05adae1cc9
parent 47113 b5a5662528fb
child 47465 71d5f37ee2bf
permissions -rwxr-xr-x
more robust command invocation via ISABELLE_JDK_HOME or SCALA_HOME (NB: bash exec requires genuine executable, not function);
     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")"
    23