lib/Tools/java
author wenzelm
Fri, 06 May 2011 20:25:41 +0200
changeset 42712 574613b47583
parent 41622 ad5474a8374b
child 43521 d477b92109b8
permissions -rwxr-xr-x
no need for underscore.sty -- latex.ltx provides \textunderscore and \_ already;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
27914
9a7f17370ffb refined scala/java wrappers via isatool;
wenzelm
parents:
diff changeset
     1
#!/usr/bin/env bash
9a7f17370ffb refined scala/java wrappers via isatool;
wenzelm
parents:
diff changeset
     2
#
9a7f17370ffb refined scala/java wrappers via isatool;
wenzelm
parents:
diff changeset
     3
# Author: Makarius
9a7f17370ffb refined scala/java wrappers via isatool;
wenzelm
parents:
diff changeset
     4
#
27916
09b3010ffaf2 removed unused usage;
wenzelm
parents: 27914
diff changeset
     5
# DESCRIPTION: invoke Java within the Isabelle environment
27914
9a7f17370ffb refined scala/java wrappers via isatool;
wenzelm
parents:
diff changeset
     6
9a7f17370ffb refined scala/java wrappers via isatool;
wenzelm
parents:
diff changeset
     7
CLASSPATH="$(jvmpath "$CLASSPATH")"
41380
92237dee0f29 isabelle java: prefer -server here;
wenzelm
parents: 36238
diff changeset
     8
92237dee0f29 isabelle java: prefer -server here;
wenzelm
parents: 36238
diff changeset
     9
JAVA_EXE="${THIS_JAVA:-$ISABELLE_JAVA}"
92237dee0f29 isabelle java: prefer -server here;
wenzelm
parents: 36238
diff changeset
    10
if "$JAVA_EXE" -server >/dev/null 2>/dev/null
92237dee0f29 isabelle java: prefer -server here;
wenzelm
parents: 36238
diff changeset
    11
then
41622
ad5474a8374b java/scala: default to UTF-8;
wenzelm
parents: 41380
diff changeset
    12
  exec "$JAVA_EXE" -Dfile.encoding=UTF-8 -server "$@"
41380
92237dee0f29 isabelle java: prefer -server here;
wenzelm
parents: 36238
diff changeset
    13
else
41622
ad5474a8374b java/scala: default to UTF-8;
wenzelm
parents: 41380
diff changeset
    14
  exec "$JAVA_EXE" -Dfile.encoding=UTF-8 "$@"
41380
92237dee0f29 isabelle java: prefer -server here;
wenzelm
parents: 36238
diff changeset
    15
fi
92237dee0f29 isabelle java: prefer -server here;
wenzelm
parents: 36238
diff changeset
    16