lib/Tools/build
changeset 48447 ef600ce4559c
parent 48425 0d95980e9aae
child 48459 375e45df6fdf
     1.1 --- a/lib/Tools/build	Mon Jul 23 15:44:42 2012 +0200
     1.2 +++ b/lib/Tools/build	Mon Jul 23 15:59:14 2012 +0200
     1.3 @@ -21,6 +21,7 @@
     1.4    echo "    -j INT       maximum number of jobs (default 1)"
     1.5    echo "    -l           list sessions only"
     1.6    echo "    -o OPTION    override session configuration OPTION (via NAME=VAL or NAME)"
     1.7 +  echo "    -s           system build mode: produce output in ISABELLE_HOME"
     1.8    echo "    -v           verbose"
     1.9    echo
    1.10    echo "  Build and manage Isabelle sessions, depending on implicit"
    1.11 @@ -52,12 +53,13 @@
    1.12  BUILD_IMAGES=false
    1.13  MAX_JOBS=1
    1.14  LIST_ONLY=false
    1.15 +SYSTEM_MODE=false
    1.16  VERBOSE=false
    1.17  
    1.18  declare -a MORE_DIRS=()
    1.19  eval "declare -a BUILD_OPTIONS=($ISABELLE_BUILD_OPTIONS)"
    1.20  
    1.21 -while getopts "abd:j:lo:v" OPT
    1.22 +while getopts "abd:j:lo:sv" OPT
    1.23  do
    1.24    case "$OPT" in
    1.25      a)
    1.26 @@ -79,6 +81,9 @@
    1.27      o)
    1.28        BUILD_OPTIONS["${#BUILD_OPTIONS[@]}"]="$OPTARG"
    1.29        ;;
    1.30 +    s)
    1.31 +      SYSTEM_MODE="true"
    1.32 +      ;;
    1.33      v)
    1.34        VERBOSE="true"
    1.35        ;;
    1.36 @@ -96,5 +101,5 @@
    1.37  [ -e "$ISABELLE_HOME/Admin/build" ] && { "$ISABELLE_HOME/Admin/build" jars || exit $?; }
    1.38  
    1.39  exec "$ISABELLE_TOOL" java isabelle.Build \
    1.40 -  "$ALL_SESSIONS" "$BUILD_IMAGES" "$MAX_JOBS" "$LIST_ONLY" "$VERBOSE" \
    1.41 +  "$ALL_SESSIONS" "$BUILD_IMAGES" "$MAX_JOBS" "$LIST_ONLY" "$SYSTEM_MODE" "$VERBOSE" \
    1.42    "${MORE_DIRS[@]}" $'\n' "${BUILD_OPTIONS[@]}" $'\n' "$@"