lib/Tools/build
changeset 48903 1621b3f26095
parent 48780 49a965020394
child 49131 aa1e2ba3c697
     1.1 --- a/lib/Tools/build	Thu Aug 23 13:03:29 2012 +0200
     1.2 +++ b/lib/Tools/build	Thu Aug 23 13:26:27 2012 +0200
     1.3 @@ -33,6 +33,7 @@
     1.4    echo "    -d DIR       include session directory"
     1.5    echo "    -g NAME      select session group NAME"
     1.6    echo "    -j INT       maximum number of parallel jobs (default 1)"
     1.7 +  echo "    -l           list session source files"
     1.8    echo "    -n           no build -- test dependencies only"
     1.9    echo "    -o OPTION    override session configuration OPTION (via NAME=VAL or NAME)"
    1.10    echo "    -s           system build mode: produce output in ISABELLE_HOME"
    1.11 @@ -65,12 +66,13 @@
    1.12  declare -a INCLUDE_DIRS=()
    1.13  declare -a SESSION_GROUPS=()
    1.14  MAX_JOBS=1
    1.15 +LIST_FILES=false
    1.16  NO_BUILD=false
    1.17  eval "declare -a BUILD_OPTIONS=($ISABELLE_BUILD_OPTIONS)"
    1.18  SYSTEM_MODE=false
    1.19  VERBOSE=false
    1.20  
    1.21 -while getopts "D:abcd:g:j:no:sv" OPT
    1.22 +while getopts "D:abcd:g:j:lno:sv" OPT
    1.23  do
    1.24    case "$OPT" in
    1.25      D)
    1.26 @@ -95,6 +97,9 @@
    1.27        check_number "$OPTARG"
    1.28        MAX_JOBS="$OPTARG"
    1.29        ;;
    1.30 +    l)
    1.31 +      LIST_FILES="true"
    1.32 +      ;;
    1.33      n)
    1.34        NO_BUILD="true"
    1.35        ;;
    1.36 @@ -131,7 +136,7 @@
    1.37  
    1.38  "$ISABELLE_TOOL" java isabelle.Build \
    1.39    "$ALL_SESSIONS" "$BUILD_HEAP" "$CLEAN_BUILD" "$MAX_JOBS" \
    1.40 -  "$NO_BUILD" "$SYSTEM_MODE" "$VERBOSE" \
    1.41 +  "$LIST_FILES" "$NO_BUILD" "$SYSTEM_MODE" "$VERBOSE" \
    1.42    "${SELECT_DIRS[@]}" $'\n' "${INCLUDE_DIRS[@]}" $'\n' \
    1.43    "${SESSION_GROUPS[@]}" $'\n' "${BUILD_OPTIONS[@]}" $'\n' "$@"
    1.44  RC="$?"