--- a/lib/Tools/build Sat Jul 28 22:01:21 2012 +0200
+++ b/lib/Tools/build Sun Jul 29 21:40:46 2012 +0200
@@ -29,6 +29,7 @@
echo " -a select all sessions"
echo " -b build heap images"
echo " -d DIR include session directory with ROOT file"
+ echo " -f fresh build"
echo " -g NAME select session group NAME"
echo " -j INT maximum number of parallel jobs (default 1)"
echo " -n no build -- test dependencies only"
@@ -59,6 +60,7 @@
ALL_SESSIONS=false
BUILD_HEAP=false
declare -a MORE_DIRS=()
+FRESH_BUILD=false
declare -a SESSION_GROUPS=()
MAX_JOBS=1
NO_BUILD=false
@@ -66,7 +68,7 @@
SYSTEM_MODE=false
VERBOSE=false
-while getopts "abd:g:j:no:sv" OPT
+while getopts "abd:fg:j:no:sv" OPT
do
case "$OPT" in
a)
@@ -78,6 +80,9 @@
d)
MORE_DIRS["${#MORE_DIRS[@]}"]="$OPTARG"
;;
+ f)
+ FRESH_BUILD="true"
+ ;;
g)
SESSION_GROUPS["${#SESSION_GROUPS[@]}"]="$OPTARG"
;;
@@ -121,7 +126,7 @@
fi
"$ISABELLE_TOOL" java isabelle.Build \
- "$ALL_SESSIONS" "$BUILD_HEAP" "$MAX_JOBS" "$NO_BUILD" "$SYSTEM_MODE" "$VERBOSE" \
+ "$ALL_SESSIONS" "$BUILD_HEAP" "$FRESH_BUILD" "$MAX_JOBS" "$NO_BUILD" "$SYSTEM_MODE" "$VERBOSE" \
"${MORE_DIRS[@]}" $'\n' "${SESSION_GROUPS[@]}" $'\n' "${BUILD_OPTIONS[@]}" $'\n' "$@"
RC="$?"