From d01c32ebf2e048c3875c07888dc109f5848c9322 Mon Sep 17 00:00:00 2001
From: jjenista <jjenista>
Date: Fri, 12 Sep 2008 18:02:11 +0000
Subject: [PATCH] makefile for compiling benchmarks with ownership analysis

---
 Robust/src/Benchmarks/Ownership/makefile | 32 ++++++++++++++++++++++++
 1 file changed, 32 insertions(+)
 create mode 100644 Robust/src/Benchmarks/Ownership/makefile

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
-- 
2.34.1