move sandbox into different file

diff --git a/Robust/src/buildscript b/Robust/src/buildscript
index 979ade23219d8997c3348653e6f38d048b5e3a0c..621874eeb608d5ba82cfd6e859b88c11a74b933d 100755 (executable)
--- a/Robust/src/buildscript
+++ b/Robust/src/buildscript
@@ -70,6 +70,7 @@ echo -assembly generate assembly
 echo -help help
 }
 
+SANDBOX=false;
 ABORTREADERS=false;
 ROBUSTROOT=~/research/Robust/src
 DSMRUNTIME=$ROBUSTROOT/Runtime/DSTM/interface/
@@ -136,6 +137,7 @@ EXTRAOPTIONS="$EXTRAOPTIONS -DABORTREADERS"
 JAVAOPTS="$JAVAOPTS -abortreaders"
 elif [[ $1 = '-sandbox' ]]
 then
+SANDBOX=true
 EXTRAOPTIONS="$EXTRAOPTIONS -DSANDBOX"
 JAVAOPTS="$JAVAOPTS -sandbox"
 elif [[ $1 = '-robustroot' ]]
@@ -692,6 +694,11 @@ EXTRAOPTIONS="$EXTRAOPTIONS -lpthread -DCOMPILER -I$DSMRUNTIME"
 FILES="$FILES $DSMRUNTIME/stmlock.c $DSMRUNTIME/singleTMCommit.c $DSMRUNTIME/stmlookup.c $ROBUSTROOT/Runtime/thread.c"
 fi
 
+if $SANDBOX
+then
+FILES="$FILES $DSMRUNTIME/sandbox.c"
+fi
+
 if $ABORTREADERS
 then
 FILES="$FILES $DSMRUNTIME/abortreaders.c"