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_process
author wenzelm
Wed, 09 Mar 2016 19:30:09 +0100
changeset 62573 27f90319a499
parent 62542 b27b7c2200b9
child 62586 a522a5692832
permissions -rwxr-xr-x
isabelle.Build uses ML_Process directly; isabelle_process is for batch mode only; removed unused feeder (already part of "isabelle console");
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
11550
915c5de6480f smart selection of isabelle-process versus isabelle-interface;
wenzelm
parents:
diff changeset 
     1
 
#!/usr/bin/env bash
915c5de6480f smart selection of isabelle-process versus isabelle-interface;
wenzelm
parents:
diff changeset 
     2
 
#
62475
43e64c770f28 isabelle_process executable no longer supports writable heap images;
wenzelm
parents: 61319
diff changeset 
     3
 
# Author: Makarius
11550
915c5de6480f smart selection of isabelle-process versus isabelle-interface;
wenzelm
parents:
diff changeset 
     4
 
#
915c5de6480f smart selection of isabelle-process versus isabelle-interface;
wenzelm
parents:
diff changeset 
     5
 
# Isabelle process startup script.
915c5de6480f smart selection of isabelle-process versus isabelle-interface;
wenzelm
parents:
diff changeset 
     6
 







15843






d5bd4a18ce70
improved handling of symlinks;



wenzelm


parents: 
15801

diff
changeset




     7


if [ -L "$0" ]; then













d5bd4a18ce70
improved handling of symlinks;



wenzelm


parents: 
15801

diff
changeset




     8


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








15967






f9163c6f69d6
proper treatment of directory links;



wenzelm


parents: 
15864

diff
changeset




     9


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








15843






d5bd4a18ce70
improved handling of symlinks;



wenzelm


parents: 
15801

diff
changeset




    10


fi













d5bd4a18ce70
improved handling of symlinks;



wenzelm


parents: 
15801

diff
changeset




    11









15967






f9163c6f69d6
proper treatment of directory links;



wenzelm


parents: 
15864

diff
changeset




    12


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













f9163c6f69d6
proper treatment of directory links;



wenzelm


parents: 
15864

diff
changeset




    13


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








11550






915c5de6480f
smart selection of isabelle-process versus isabelle-interface;



wenzelm


parents: 

diff
changeset




    14














915c5de6480f
smart selection of isabelle-process versus isabelle-interface;



wenzelm


parents: 

diff
changeset




    15









62573






27f90319a499
isabelle.Build uses ML_Process directly;



wenzelm


parents: 
62542

diff
changeset




    16


isabelle_admin_build jars || exit $?








11550






915c5de6480f
smart selection of isabelle-process versus isabelle-interface;



wenzelm


parents: 

diff
changeset




    17









62573






27f90319a499
isabelle.Build uses ML_Process directly;



wenzelm


parents: 
62542

diff
changeset




    18


"$ISABELLE_TOOL" java isabelle.Isabelle_Process "$@"















isabelle