From: jjenista <jjenista>
Date: Mon, 22 Mar 2010 03:56:52 +0000 (+0000)
Subject: makefile for new analysis version for benchmarks
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=7e517fa52f5ea5554eefdd4a9b59911beaaf5291;p=IRC.git

makefile for new analysis version for benchmarks
---

diff --git a/Robust/src/Benchmarks/disjoint/makefile b/Robust/src/Benchmarks/disjoint/makefile
new file mode 100644
index 00000000..41ac071f
--- /dev/null
+++ b/Robust/src/Benchmarks/disjoint/makefile
@@ -0,0 +1,19 @@
+BUILDSCRIPT=~/research/Robust/src/buildscript
+BSFLAGS= -recover -justanalyze -ownership -ownaliasfiletab aliases.txt -enable-assertions #-ownwritedots final #-flatirtasks
+
+BSFLAGS= -recover -justanalyze -disjoint -disjoint-k 2 -disjoint-write-dots final -disjoint-write-ihms -disjoint-alias-file aliases.txt normal -enable-assertions
+
+all:
+	$(BUILDSCRIPT) $(BSFLAGS) *.java
+
+clean:
+	rm -f  *.bin
+	rm -fr tmpbuilddirectory
+	rm -f  *~
+	rm -f  *.dot
+	rm -f  *.png
+	rm -f  *.aux
+	rm -f  *.log
+	rm -f  *.pdf
+	rm -f  aliases.txt
+	rm -f  tabResults.tex