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/build
author wenzelm
Thu, 10 Mar 2016 22:09:44 +0100
changeset 62590 0c837beeb5e7
parent 62589 b5783412bfed
permissions -rwxr-xr-x
upgrade "isabelle build" to Isabelle/Scala;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
48276
4bd480886813 basic setup for Isabelle build tool;
wenzelm
parents:
diff changeset 
     1
 
#!/usr/bin/env bash
4bd480886813 basic setup for Isabelle build tool;
wenzelm
parents:
diff changeset 
     2
 
#
4bd480886813 basic setup for Isabelle build tool;
wenzelm
parents:
diff changeset 
     3
 
# Author: Makarius
4bd480886813 basic setup for Isabelle build tool;
wenzelm
parents:
diff changeset 
     4
 
#
4bd480886813 basic setup for Isabelle build tool;
wenzelm
parents:
diff changeset 
     5
 
# DESCRIPTION: build and manage Isabelle sessions
4bd480886813 basic setup for Isabelle build tool;
wenzelm
parents:
diff changeset 
     6
 







62590






0c837beeb5e7
upgrade "isabelle build" to Isabelle/Scala;



wenzelm


parents: 
62589

diff
changeset




     7


isabelle_admin_build jars || exit $?








61135






8f7d802b7a71
clarified Java runtime options (NB: ISABELLE_JAVA_PLATFORM is determined later via component);



wenzelm


parents: 
61131

diff
changeset




     8














8f7d802b7a71
clarified Java runtime options (NB: ISABELLE_JAVA_PLATFORM is determined later via component);



wenzelm


parents: 
61131

diff
changeset




     9


case "$ISABELLE_JAVA_PLATFORM" in













8f7d802b7a71
clarified Java runtime options (NB: ISABELLE_JAVA_PLATFORM is determined later via component);



wenzelm


parents: 
61131

diff
changeset




    10


  x86-*)













8f7d802b7a71
clarified Java runtime options (NB: ISABELLE_JAVA_PLATFORM is determined later via component);



wenzelm


parents: 
61131

diff
changeset




    11


    ISABELLE_BUILD_JAVA_OPTIONS="$ISABELLE_BUILD_JAVA_OPTIONS32"













8f7d802b7a71
clarified Java runtime options (NB: ISABELLE_JAVA_PLATFORM is determined later via component);



wenzelm


parents: 
61131

diff
changeset




    12


    ;;













8f7d802b7a71
clarified Java runtime options (NB: ISABELLE_JAVA_PLATFORM is determined later via component);



wenzelm


parents: 
61131

diff
changeset




    13


  x86_64-*)













8f7d802b7a71
clarified Java runtime options (NB: ISABELLE_JAVA_PLATFORM is determined later via component);



wenzelm


parents: 
61131

diff
changeset




    14


    ISABELLE_BUILD_JAVA_OPTIONS="$ISABELLE_BUILD_JAVA_OPTIONS64"













8f7d802b7a71
clarified Java runtime options (NB: ISABELLE_JAVA_PLATFORM is determined later via component);



wenzelm


parents: 
61131

diff
changeset




    15


    ;;













8f7d802b7a71
clarified Java runtime options (NB: ISABELLE_JAVA_PLATFORM is determined later via component);



wenzelm


parents: 
61131

diff
changeset




    16


esac













8f7d802b7a71
clarified Java runtime options (NB: ISABELLE_JAVA_PLATFORM is determined later via component);



wenzelm


parents: 
61131

diff
changeset




    17









62590






0c837beeb5e7
upgrade "isabelle build" to Isabelle/Scala;



wenzelm


parents: 
62589

diff
changeset




    18


eval "declare -a JAVA_ARGS=($ISABELLE_BUILD_JAVA_OPTIONS)"








48276






4bd480886813
basic setup for Isabelle build tool;



wenzelm


parents: 

diff
changeset




    19









62590






0c837beeb5e7
upgrade "isabelle build" to Isabelle/Scala;



wenzelm


parents: 
62589

diff
changeset




    20


exec isabelle java "${JAVA_ARGS[@]}" isabelle.Build "$@"















isabelle