lib/Tools/java
author wenzelm
Fri Oct 05 23:49:12 2018 +0200 (10 months ago)
changeset 69126 e1b4b14ded58
parent 67490 982f0bf34804
permissions -rwxr-xr-x
discontinue java.ext.dirs for jdk-11 -- in contrast to 982f0bf34804 for jdk-8;
wenzelm@27914
     1
#!/usr/bin/env bash
wenzelm@27914
     2
#
wenzelm@27914
     3
# Author: Makarius
wenzelm@27914
     4
#
wenzelm@27916
     5
# DESCRIPTION: invoke Java within the Isabelle environment
wenzelm@27914
     6
wenzelm@66906
     7
eval "declare -a JAVA_ARGS=($ISABELLE_JAVA_SYSTEM_OPTIONS)"
wenzelm@53346
     8
wenzelm@53584
     9
[ -n "$CLASSPATH" ] && classpath "$CLASSPATH"
wenzelm@53584
    10
unset CLASSPATH
wenzelm@53584
    11
wenzelm@58791
    12
isabelle_java java "${JAVA_ARGS[@]}" \
wenzelm@61294
    13
  -classpath "$(platform_path "$ISABELLE_CLASSPATH")" "$@"