lib/Tools/build
changeset 48595 231e6fa96dbb
parent 48594 c24907e5081e
child 48601 655b08c2cd89
     1.1 --- a/lib/Tools/build	Mon Jul 30 11:03:44 2012 +0200
     1.2 +++ b/lib/Tools/build	Mon Jul 30 12:03:48 2012 +0200
     1.3 @@ -28,6 +28,7 @@
     1.4    echo "  Options are:"
     1.5    echo "    -a           select all sessions"
     1.6    echo "    -b           build heap images"
     1.7 +  echo "    -c           clean build"
     1.8    echo "    -d DIR       include session directory with ROOT file"
     1.9    echo "    -g NAME      select session group NAME"
    1.10    echo "    -j INT       maximum number of parallel jobs (default 1)"
    1.11 @@ -58,6 +59,7 @@
    1.12  
    1.13  ALL_SESSIONS=false
    1.14  BUILD_HEAP=false
    1.15 +CLEAN_BUILD=false
    1.16  declare -a MORE_DIRS=()
    1.17  declare -a SESSION_GROUPS=()
    1.18  MAX_JOBS=1
    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 "abcd:g:j:no:sv" OPT
    1.25  do
    1.26    case "$OPT" in
    1.27      a)
    1.28 @@ -75,6 +77,9 @@
    1.29      b)
    1.30        BUILD_HEAP="true"
    1.31        ;;
    1.32 +    c)
    1.33 +      CLEAN_BUILD="true"
    1.34 +      ;;
    1.35      d)
    1.36        MORE_DIRS["${#MORE_DIRS[@]}"]="$OPTARG"
    1.37        ;;
    1.38 @@ -121,7 +126,8 @@
    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" "$CLEAN_BUILD" "$MAX_JOBS" \
    1.44 +  "$NO_BUILD" "$SYSTEM_MODE" "$VERBOSE" \
    1.45    "${MORE_DIRS[@]}" $'\n' "${SESSION_GROUPS[@]}" $'\n' "${BUILD_OPTIONS[@]}" $'\n' "$@"
    1.46  RC="$?"
    1.47