lib/scripts/getsettings
changeset 52443 725916b7dee5
parent 49347 d4768cb77a69
child 53576 793a429c63e7
     1.1 --- a/lib/scripts/getsettings	Tue Jun 25 11:26:15 2013 +0200
     1.2 +++ b/lib/scripts/getsettings	Tue Jun 25 11:41:16 2013 +0200
     1.3 @@ -60,7 +60,8 @@
     1.4  unset BASH_ENV
     1.5  
     1.6  #shared library convenience
     1.7 -function librarypath () {
     1.8 +function librarypath ()
     1.9 +{
    1.10    for X in "$@"
    1.11    do
    1.12      case "$ISABELLE_PLATFORM" in
    1.13 @@ -85,7 +86,8 @@
    1.14  }
    1.15  
    1.16  #robust invocation via ISABELLE_JDK_HOME
    1.17 -function isabelle_jdk () {
    1.18 +function isabelle_jdk ()
    1.19 +{
    1.20    if [ -z "$ISABELLE_JDK_HOME" ]; then
    1.21      echo "Unknown ISABELLE_JDK_HOME -- Java tools unavailable" >&2
    1.22      return 127
    1.23 @@ -96,7 +98,8 @@
    1.24  }
    1.25  
    1.26  #robust invocation via SCALA_HOME
    1.27 -function isabelle_scala () {
    1.28 +function isabelle_scala ()
    1.29 +{
    1.30    if [ -z "$ISABELLE_JDK_HOME" ]; then
    1.31      echo "Unknown ISABELLE_JDK_HOME -- Java tools unavailable" >&2
    1.32      return 127
    1.33 @@ -109,8 +112,19 @@
    1.34    fi
    1.35  }
    1.36  
    1.37 +#administrative build
    1.38 +if [ -e "$ISABELLE_HOME/Admin/build" ]; then
    1.39 +  function isabelle_admin_build ()
    1.40 +  {
    1.41 +    "$ISABELLE_HOME/Admin/build" "$@"
    1.42 +  }
    1.43 +else
    1.44 +  function isabelle_admin_build () { return 0; }
    1.45 +fi
    1.46 +
    1.47  #CLASSPATH convenience
    1.48 -function classpath () {
    1.49 +function classpath ()
    1.50 +{
    1.51    for X in "$@"
    1.52    do
    1.53      if [ -z "$CLASSPATH" ]; then