add new option "-robustroot" to enable setting up ROBUSTROOT. Defaulty it is set...

diff --git a/Robust/src/buildscript b/Robust/src/buildscript
index 62799be4d7c501d13b2dd732a606adfe19976903..4438f199c90c15135fcc32f4e55f964c6e67f89c 100755 (executable)
--- a/Robust/src/buildscript
+++ b/Robust/src/buildscript
@@ -1,6 +1,7 @@
 #!/bin/bash
 
 printhelp() {
+echo -robustroot set up the ROBUSTROOT to directory other than default one
 echo -dsm distributed shared memory
 echo -trueprob double - probabiltiy of true branch
 echo -mac distributed shared memory mac support
@@ -33,8 +34,7 @@ echo "-enable-assertions execute assert statements during compilation"
 echo -help help
 }
 
-#ROBUSTROOT=~/research/Robust/src
-ROBUSTROOT=~/workspace/Robust/src
+ROBUSTROOT=~/research/Robust/src
 DSMRUNTIME=$ROBUSTROOT/Runtime/DSTM/interface/
 REPAIRROOT=~/research/Repair/RepairCompiler/
 CURDIR=`pwd`
@@ -65,6 +65,10 @@ if [[ $1 = '-help' ]]
 then
 printhelp
 exit
+elif [[ $1 = '-robustroot' ]]
+then
+ROBUSTROOT="$2"
+shift
 elif [[ $1 = '-o' ]]
 then
 MAINFILE="$2"