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.
Admin/lib/Tools/build_doc
author wenzelm
Sun, 13 Mar 2016 14:27:31 +0100
changeset 62615 8e5b631d203b
parent 62589 b5783412bfed
permissions -rwxr-xr-x
tuned signature;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
48972
196520d51afd more formal build_doc tool (Admin only);
wenzelm
parents:
diff changeset 
     1
 
#!/usr/bin/env bash
196520d51afd more formal build_doc tool (Admin only);
wenzelm
parents:
diff changeset 
     2
 
#
196520d51afd more formal build_doc tool (Admin only);
wenzelm
parents:
diff changeset 
     3
 
# Author: Makarius
196520d51afd more formal build_doc tool (Admin only);
wenzelm
parents:
diff changeset 
     4
 
#
196520d51afd more formal build_doc tool (Admin only);
wenzelm
parents:
diff changeset 
     5
 
# DESCRIPTION: build Isabelle documentation
196520d51afd more formal build_doc tool (Admin only);
wenzelm
parents:
diff changeset 
     6
 







62435






2c390ad93bc8
moved getopts to Scala;



wenzelm


parents: 
61135

diff
changeset




     7


isabelle_admin_build jars || exit $?













2c390ad93bc8
moved getopts to Scala;



wenzelm


parents: 
61135

diff
changeset




     8









61135






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



wenzelm


parents: 
56432

diff
changeset




     9














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



wenzelm


parents: 
56432

diff
changeset




    10


case "$ISABELLE_JAVA_PLATFORM" in













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



wenzelm


parents: 
56432

diff
changeset




    11


  x86-*)













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



wenzelm


parents: 
56432

diff
changeset




    12


    ISABELLE_BUILD_JAVA_OPTIONS="$ISABELLE_BUILD_JAVA_OPTIONS32"













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



wenzelm


parents: 
56432

diff
changeset




    13


    ;;













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



wenzelm


parents: 
56432

diff
changeset




    14


  x86_64-*)













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



wenzelm


parents: 
56432

diff
changeset




    15


    ISABELLE_BUILD_JAVA_OPTIONS="$ISABELLE_BUILD_JAVA_OPTIONS64"













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



wenzelm


parents: 
56432

diff
changeset




    16


    ;;













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



wenzelm


parents: 
56432

diff
changeset




    17


esac













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



wenzelm


parents: 
56432

diff
changeset




    18









56429






bc61161a5bd0
re-implemented build_doc in Isabelle/Scala;



wenzelm


parents: 
53208

diff
changeset




    19


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








49131






aa1e2ba3c697
added build option -R;



wenzelm


parents: 
49073

diff
changeset




    20









62589






b5783412bfed
prefer plain "isabelle" from PATH within Isabelle settings environment;



wenzelm


parents: 
62435

diff
changeset




    21


isabelle java "${JAVA_ARGS[@]}" isabelle.Build_Doc "$@"















isabelle