lib/Tools/build
changeset 48592 a125b8040ada
parent 48578 21361b6189a6
child 48594 c24907e5081e
     1.1 --- a/lib/Tools/build	Sat Jul 28 22:01:21 2012 +0200
     1.2 +++ b/lib/Tools/build	Sun Jul 29 21:40:46 2012 +0200
     1.3 @@ -29,6 +29,7 @@
     1.4    echo "    -a           select all sessions"
     1.5    echo "    -b           build heap images"
     1.6    echo "    -d DIR       include session directory with ROOT file"
     1.7 +  echo "    -f           fresh build"
     1.8    echo "    -g NAME      select session group NAME"
     1.9    echo "    -j INT       maximum number of parallel jobs (default 1)"
    1.10    echo "    -n           no build -- test dependencies only"
    1.11 @@ -59,6 +60,7 @@
    1.12  ALL_SESSIONS=false
    1.13  BUILD_HEAP=false
    1.14  declare -a MORE_DIRS=()
    1.15 +FRESH_BUILD=false
    1.16  declare -a SESSION_GROUPS=()
    1.17  MAX_JOBS=1
    1.18  NO_BUILD=false
    1.19 @@ -66,7 +68,7 @@
    1.20  SYSTEM_MODE=false
    1.21  VERBOSE=false
    1.22  
    1.23 -while getopts "abd:g:j:no:sv" OPT
    1.24 +while getopts "abd:fg:j:no:sv" OPT
    1.25  do
    1.26    case "$OPT" in
    1.27      a)
    1.28 @@ -78,6 +80,9 @@
    1.29      d)
    1.30        MORE_DIRS["${#MORE_DIRS[@]}"]="$OPTARG"
    1.31        ;;
    1.32 +    f)
    1.33 +      FRESH_BUILD="true"
    1.34 +      ;;
    1.35      g)
    1.36        SESSION_GROUPS["${#SESSION_GROUPS[@]}"]="$OPTARG"
    1.37        ;;
    1.38 @@ -121,7 +126,7 @@
    1.39  fi
    1.40  
    1.41  "$ISABELLE_TOOL" java isabelle.Build \
    1.42 -  "$ALL_SESSIONS" "$BUILD_HEAP" "$MAX_JOBS" "$NO_BUILD" "$SYSTEM_MODE" "$VERBOSE" \
    1.43 +  "$ALL_SESSIONS" "$BUILD_HEAP" "$FRESH_BUILD" "$MAX_JOBS" "$NO_BUILD" "$SYSTEM_MODE" "$VERBOSE" \
    1.44    "${MORE_DIRS[@]}" $'\n' "${SESSION_GROUPS[@]}" $'\n' "${BUILD_OPTIONS[@]}" $'\n' "$@"
    1.45  RC="$?"
    1.46