lib/Tools/build
changeset 49131 aa1e2ba3c697
parent 48903 1621b3f26095
child 50364 ce2796981c0c
     1.1 --- a/lib/Tools/build	Tue Sep 04 18:49:40 2012 +0200
     1.2 +++ b/lib/Tools/build	Tue Sep 04 20:45:43 2012 +0200
     1.3 @@ -27,6 +27,7 @@
     1.4    echo
     1.5    echo "  Options are:"
     1.6    echo "    -D DIR       include session directory and select its sessions"
     1.7 +  echo "    -R           operate on requirements of selected sessions"
     1.8    echo "    -a           select all sessions"
     1.9    echo "    -b           build heap images"
    1.10    echo "    -c           clean build"
    1.11 @@ -60,6 +61,7 @@
    1.12  ## process command line
    1.13  
    1.14  declare -a SELECT_DIRS=()
    1.15 +REQUIREMENTS=false
    1.16  ALL_SESSIONS=false
    1.17  BUILD_HEAP=false
    1.18  CLEAN_BUILD=false
    1.19 @@ -72,12 +74,15 @@
    1.20  SYSTEM_MODE=false
    1.21  VERBOSE=false
    1.22  
    1.23 -while getopts "D:abcd:g:j:lno:sv" OPT
    1.24 +while getopts "D:Rabcd:g:j:lno:sv" OPT
    1.25  do
    1.26    case "$OPT" in
    1.27      D)
    1.28        SELECT_DIRS["${#SELECT_DIRS[@]}"]="$OPTARG"
    1.29        ;;
    1.30 +    R)
    1.31 +      REQUIREMENTS="true"
    1.32 +      ;;
    1.33      a)
    1.34        ALL_SESSIONS="true"
    1.35        ;;
    1.36 @@ -135,7 +140,7 @@
    1.37  . "$ISABELLE_HOME/lib/scripts/timestart.bash"
    1.38  
    1.39  "$ISABELLE_TOOL" java isabelle.Build \
    1.40 -  "$ALL_SESSIONS" "$BUILD_HEAP" "$CLEAN_BUILD" "$MAX_JOBS" \
    1.41 +  "$REQUIREMENTS" "$ALL_SESSIONS" "$BUILD_HEAP" "$CLEAN_BUILD" "$MAX_JOBS" \
    1.42    "$LIST_FILES" "$NO_BUILD" "$SYSTEM_MODE" "$VERBOSE" \
    1.43    "${SELECT_DIRS[@]}" $'\n' "${INCLUDE_DIRS[@]}" $'\n' \
    1.44    "${SESSION_GROUPS[@]}" $'\n' "${BUILD_OPTIONS[@]}" $'\n' "$@"