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.
bin/isabelle_scala_script
author wenzelm
Sun, 06 May 2018 23:03:08 +0200
changeset 68092 888d35a19866
parent 52116 abf9fcfa65cf
child 73705 ac07f6be27ea
permissions -rwxr-xr-x
store exports in session database, with asynchronous / parallel compression;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
52116
abf9fcfa65cf added isabelle_scala_script wrapper -- NB: portable hash-bang allows exactly one executable, without additional arguments;
wenzelm
parents:
diff changeset 
     1
 
#!/usr/bin/env bash
abf9fcfa65cf added isabelle_scala_script wrapper -- NB: portable hash-bang allows exactly one executable, without additional arguments;
wenzelm
parents:
diff changeset 
     2
 
#
abf9fcfa65cf added isabelle_scala_script wrapper -- NB: portable hash-bang allows exactly one executable, without additional arguments;
wenzelm
parents:
diff changeset 
     3
 
# Author: Makarius
abf9fcfa65cf added isabelle_scala_script wrapper -- NB: portable hash-bang allows exactly one executable, without additional arguments;
wenzelm
parents:
diff changeset 
     4
 
#
abf9fcfa65cf added isabelle_scala_script wrapper -- NB: portable hash-bang allows exactly one executable, without additional arguments;
wenzelm
parents:
diff changeset 
     5
 
# Isabelle/Scala script wrapper.
abf9fcfa65cf added isabelle_scala_script wrapper -- NB: portable hash-bang allows exactly one executable, without additional arguments;
wenzelm
parents:
diff changeset 
     6
 












abf9fcfa65cf
added isabelle_scala_script wrapper -- NB: portable hash-bang allows exactly one executable, without additional arguments;



wenzelm


parents: 

diff
changeset




     7


if [ -L "$0" ]; then













abf9fcfa65cf
added isabelle_scala_script wrapper -- NB: portable hash-bang allows exactly one executable, without additional arguments;



wenzelm


parents: 

diff
changeset




     8


  TARGET="$(LC_ALL=C ls -l "$0" | sed 's/.* -> //')"













abf9fcfa65cf
added isabelle_scala_script wrapper -- NB: portable hash-bang allows exactly one executable, without additional arguments;



wenzelm


parents: 

diff
changeset




     9


  exec "$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd "$(dirname "$TARGET")"; pwd)/$(basename "$TARGET")" "$@"













abf9fcfa65cf
added isabelle_scala_script wrapper -- NB: portable hash-bang allows exactly one executable, without additional arguments;



wenzelm


parents: 

diff
changeset




    10


fi













abf9fcfa65cf
added isabelle_scala_script wrapper -- NB: portable hash-bang allows exactly one executable, without additional arguments;



wenzelm


parents: 

diff
changeset




    11














abf9fcfa65cf
added isabelle_scala_script wrapper -- NB: portable hash-bang allows exactly one executable, without additional arguments;



wenzelm


parents: 

diff
changeset




    12














abf9fcfa65cf
added isabelle_scala_script wrapper -- NB: portable hash-bang allows exactly one executable, without additional arguments;



wenzelm


parents: 

diff
changeset




    13


## settings













abf9fcfa65cf
added isabelle_scala_script wrapper -- NB: portable hash-bang allows exactly one executable, without additional arguments;



wenzelm


parents: 

diff
changeset




    14














abf9fcfa65cf
added isabelle_scala_script wrapper -- NB: portable hash-bang allows exactly one executable, without additional arguments;



wenzelm


parents: 

diff
changeset




    15


PRG="$(basename "$0")"













abf9fcfa65cf
added isabelle_scala_script wrapper -- NB: portable hash-bang allows exactly one executable, without additional arguments;



wenzelm


parents: 

diff
changeset




    16














abf9fcfa65cf
added isabelle_scala_script wrapper -- NB: portable hash-bang allows exactly one executable, without additional arguments;



wenzelm


parents: 

diff
changeset




    17


ISABELLE_HOME="$(cd "$(dirname "$0")"; cd "$(pwd -P)"; cd ..; pwd)"













abf9fcfa65cf
added isabelle_scala_script wrapper -- NB: portable hash-bang allows exactly one executable, without additional arguments;



wenzelm


parents: 

diff
changeset




    18


source "$ISABELLE_HOME/lib/scripts/getsettings" || exit 2













abf9fcfa65cf
added isabelle_scala_script wrapper -- NB: portable hash-bang allows exactly one executable, without additional arguments;



wenzelm


parents: 

diff
changeset




    19














abf9fcfa65cf
added isabelle_scala_script wrapper -- NB: portable hash-bang allows exactly one executable, without additional arguments;



wenzelm


parents: 

diff
changeset




    20














abf9fcfa65cf
added isabelle_scala_script wrapper -- NB: portable hash-bang allows exactly one executable, without additional arguments;



wenzelm


parents: 

diff
changeset




    21


## main













abf9fcfa65cf
added isabelle_scala_script wrapper -- NB: portable hash-bang allows exactly one executable, without additional arguments;



wenzelm


parents: 

diff
changeset




    22














abf9fcfa65cf
added isabelle_scala_script wrapper -- NB: portable hash-bang allows exactly one executable, without additional arguments;



wenzelm


parents: 

diff
changeset




    23


exec "$ISABELLE_TOOL" scala -howtorun:script -nocompdaemon "$@"













abf9fcfa65cf
added isabelle_scala_script wrapper -- NB: portable hash-bang allows exactly one executable, without additional arguments;



wenzelm


parents: 

diff
changeset




    24
















isabelle