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 (file)
index 0000000..41ac071
--- /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