Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
lib/Tools/java
author huffman
Mon, 08 Aug 2011 16:04:58 -0700
changeset 44077 427db4ab3c99
parent 43521 d477b92109b8
child 45105 21c09b727bf3
permissions -rwxr-xr-x
fix perfect_space instance proof for finite cartesian product (cf. 5b970711fb39)
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}"








43521






d477b92109b8
provide Isabelle/Scala environment as Java extension, instead of user classpath



wenzelm


parents: 
41622

diff
changeset




    10














d477b92109b8
provide Isabelle/Scala environment as Java extension, instead of user classpath



wenzelm


parents: 
41622

diff
changeset




    11


if "$JAVA_EXE" -server >/dev/null 2>/dev/null; then













d477b92109b8
provide Isabelle/Scala environment as Java extension, instead of user classpath



wenzelm


parents: 
41622

diff
changeset




    12


  SERVER="-server"








41380






92237dee0f29
isabelle java: prefer -server here;



wenzelm


parents: 
36238

diff
changeset




    13


else








43521






d477b92109b8
provide Isabelle/Scala environment as Java extension, instead of user classpath



wenzelm


parents: 
41622

diff
changeset




    14


  SERVER=""








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









43521






d477b92109b8
provide Isabelle/Scala environment as Java extension, instead of user classpath



wenzelm


parents: 
41622

diff
changeset




    17


exec "$JAVA_EXE" -Dfile.encoding=UTF-8 $SERVER \













d477b92109b8
provide Isabelle/Scala environment as Java extension, instead of user classpath



wenzelm


parents: 
41622

diff
changeset




    18


  "-Djava.ext.dirs=$("$ISABELLE_HOME/lib/scripts/java_ext_dirs")" "$@"













d477b92109b8
provide Isabelle/Scala environment as Java extension, instead of user classpath



wenzelm


parents: 
41622

diff
changeset




    19
















isabelle