--- a/lib/Tools/usedir Sun Jul 19 19:20:17 2009 +0200
+++ b/lib/Tools/usedir Sun Jul 19 19:24:04 2009 +0200
@@ -19,7 +19,6 @@
echo " -D PATH dump generated document sources into PATH"
echo " -M MAX multithreading: maximum number of worker threads (default 1)"
echo " -P PATH set path for remote theory browsing information"
- echo " -Q BOOL check proofs in parallel (default true)"
echo " -T LEVEL multithreading: trace level (default 0)"
echo " -V VERSION declare alternative document VERSION"
echo " -b build mode (output heap image, using current dir)"
@@ -28,7 +27,8 @@
echo " -g BOOL generate session graph image for document (default false)"
echo " -i BOOL generate HTML and graph browser information (default false)"
echo " -m MODE add print mode for output"
- echo " -p LEVEL set level of detail for proof objects"
+ echo " -p LEVEL set level of detail for proof objects (default 0)"
+ echo " -q LEVEL set level of parallel proof checking (default 1)"
echo " -r reset session path"
echo " -s NAME override session NAME"
echo " -t BOOL internal session timing (default false)"
@@ -73,7 +73,6 @@
DUMP=""
MAXTHREADS="1"
RPATH=""
-PARALLEL_PROOFS="true"
TRACETHREADS="0"
DOCUMENT_VERSIONS=""
BUILD=""
@@ -84,14 +83,15 @@
MODES=""
RESET=false
SESSION=""
-PROOFS=0
+PROOFS="0"
+PARALLEL_PROOFS="1"
TIMING=false
VERBOSE=false
function getoptions()
{
OPTIND=1
- while getopts "C:D:M:P:Q:T:V:bd:f:g:i:m:p:rs:t:v:" OPT
+ while getopts "C:D:M:P:T:V:bd:f:g:i:m:p:q:rs:t:v:" OPT
do
case "$OPT" in
C)
@@ -112,9 +112,6 @@
P)
RPATH="$OPTARG"
;;
- Q)
- PARALLEL_PROOFS="$OPTARG"
- ;;
T)
check_number "$OPTARG"
TRACETHREADS="$OPTARG"
@@ -154,6 +151,10 @@
check_number "$OPTARG"
PROOFS="$OPTARG"
;;
+ q)
+ check_number "$OPTARG"
+ PARALLEL_PROOFS="$OPTARG"
+ ;;
r)
RESET=true
;;