Feature adds to webinterface:

[IRC.git] / Robust / src / buildscript

diff --git a/Robust/src/buildscript b/Robust/src/buildscript
index cb7a0f115174d1ba4672ea2757b83e088224659e..65f65929312102004b05fd829bbbcd4c1523f7bf 100755 (executable)
--- a/Robust/src/buildscript
+++ b/Robust/src/buildscript
@@ -5,7 +5,9 @@ echo -check generate check code
 echo -dmalloc link in dmalloc
 echo -recover compile task code
 echo -specdir directory
+echo -taskstate do task state analysis
 echo -debug generate debug symbols
+echo -webinterface enable web interface
 echo -runtimedebug printout runtime debug messages
 echo "-thread use support for multiple threads"
 echo "-optimize call gcc with -O9 (optimize)"
@@ -23,6 +25,7 @@ CURDIR=`pwd`
 CHECKFLAG=false
 RECOVERFLAG=false
 USEDMALLOC=false
+THREADFLAG=false
 SPECDIR=`pwd`
 SRCFILES=''
 EXTRAOPTIONS=''
@@ -49,6 +52,9 @@ elif [[ $1 = '-mainclass' ]]
 then
 JAVAOPTS="$JAVAOPTS -mainclass $2"
 shift
+elif [[ $1 = '-taskstate' ]]
+then
+JAVAOPTS="$JAVAOPTS -taskstate"
 elif [[ $1 = '-dmalloc' ]]
 then
 USEDMALLOC=true
@@ -56,6 +62,9 @@ elif [[ $1 = '-recover' ]]
 then
 RECOVERFLAG=true
 JAVAOPTS="$JAVAOPTS -task"
+elif [[ $1 = '-webinterface' ]]
+then
+JAVAOPTS="$JAVAOPTS -webinterface"
 elif [[ $1 = '-instructionfailures' ]]
 then
 JAVAOPTS="$JAVAOPTS -instructionfailures"
@@ -85,6 +94,7 @@ elif [[ $1 = '-thread' ]]
 then
 JAVAOPTS="$JAVAOPTS -thread"
 EXTRAOPTIONS="$EXTRAOPTIONS -DTHREADS -lpthread"
+THREADFLAG=true
 elif [[ $1 = '-curdir' ]]
 then
 CURDIR=$2
@@ -167,7 +177,10 @@ if $RECOVERFLAG
 then
 EXTRAOPTIONS="$EXTRAOPTIONS -DTASK"
 FILES="$FILES tmpbuilddirectory/taskdefs.c $ROBUSTROOT/Runtime/checkpoint.c"
-else
+fi
+
+if $THREADFLAG
+then
 FILES="$FILES $ROBUSTROOT/Runtime/thread.c"
 fi
 
@@ -185,4 +198,5 @@ fi
 gcc $INCLUDES $EXTRAOPTIONS -DPRECISE_GC \
 tmpbuilddirectory/methods.c $FILES -o $MAINFILE.bin
 
-exit
\ No newline at end of file
+exit
+