From: jjenista <jjenista>
Date: Fri, 12 Sep 2008 18:02:11 +0000 (+0000)
Subject: makefile for compiling benchmarks with ownership analysis
X-Git-Tag: buildscript^6~17
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=d01c32ebf2e048c3875c07888dc109f5848c9322;p=IRC.git

makefile for compiling benchmarks with ownership analysis
---

diff --git a/Robust/src/Benchmarks/Ownership/makefile b/Robust/src/Benchmarks/Ownership/makefile
new file mode 100644
index 00000000..12d2cc9c
--- /dev/null
+++ b/Robust/src/Benchmarks/Ownership/makefile
@@ -0,0 +1,32 @@
+BUILDSCRIPT=~/research/Robust/src/buildscript
+BSFLAGS= -recover -ownership -ownaliasfile aliases.txt -enable-assertions
+AD3= -ownallocdepth 3
+AD5= -ownallocdepth 5
+AD9= -ownallocdepth 9
+
+all: ad3
+
+
+ad3:
+	$(BUILDSCRIPT) $(BSFLAGS) $(AD3) *.java
+
+ad5:
+	$(BUILDSCRIPT) $(BSFLAGS) $(AD5) *.java
+
+ad9:
+	$(BUILDSCRIPT) $(BSFLAGS) $(AD9) *.java
+
+
+#view: PNGs
+#	eog *.png &
+
+#PNGs: DOTs
+#	d2p *COMPLETE*.dot
+
+clean:
+	rm -f  *.bin
+	rm -fr tmpbuilddirectory
+	rm -f  *~
+	rm -f  *.dot
+	rm -f  *.png
+	rm -f  aliases.txt