From bbeeced9aa9572ea3617ada763c1350f047050fe Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Mon, 26 Feb 2007 16:20:18 +0000
Subject: [PATCH] add dmalloc option

---
 Robust/src/buildscript | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/Robust/src/buildscript b/Robust/src/buildscript
index 0a7f880c..689a32b9 100755
--- a/Robust/src/buildscript
+++ b/Robust/src/buildscript
@@ -2,6 +2,7 @@
 
 printhelp() {
 echo -check generate check code
+echo -dmalloc link in dmalloc
 echo -recover compile task code
 echo -specdir directory
 echo -debug generate debug symbols
@@ -21,6 +22,7 @@ REPAIRROOT=~/research/Repair/RepairCompiler/
 CURDIR=`pwd`
 CHECKFLAG=false
 RECOVERFLAG=false
+USEDMALLOC=false
 SPECDIR=`pwd`
 SRCFILES=''
 EXTRAOPTIONS=''
@@ -47,6 +49,9 @@ elif [[ $1 = '-mainclass' ]]
 then
 JAVAOPTS="$JAVAOPTS -mainclass $2"
 shift
+elif [[ $1 = '-dmalloc' ]]
+then
+USEDMALLOC=true
 elif [[ $1 = '-recover' ]]
 then
 RECOVERFLAG=true
@@ -172,6 +177,12 @@ EXTRAOPTIONS="$EXTRAOPTIONS -DCONSCHECK $BUILDDIR/specdir/*.o"
 INCLUDES="$INCLUDES -I$BUILDDIR/specdir"
 fi
 
+if $USEDMALLOC
+then
+EXTRAOPTIONS="$EXTRAOPTIONS -ldmalloc -DDMALLOC"
+fi
+
 gcc $INCLUDES $EXTRAOPTIONS -DPRECISE_GC \
 tmpbuilddirectory/methods.c $FILES -o $MAINFILE.bin
+
 exit
\ No newline at end of file
-- 
2.34.1