cpaturing some makefile updates and have OoOJava print number of sites disjoint reach...

[IRC.git] / Robust / src / Benchmarks / oooJava / tracking / makefile

diff --git a/Robust/src/Benchmarks/oooJava/tracking/makefile b/Robust/src/Benchmarks/oooJava/tracking/makefile
index 0f6b8d9eea0d9e25373dd06113a358ba69b3931b..41822a9593336b5824c5f95917bddb70dad458cf 100644 (file)
--- a/Robust/src/Benchmarks/oooJava/tracking/makefile
+++ b/Robust/src/Benchmarks/oooJava/tracking/makefile
@@ -4,11 +4,14 @@ SOURCE_FILES=TrackingBench.java
 
 BUILDSCRIPT=../../../buildscript
 
-#USEOOO= -ooojava 24 2  -ooodebug  
-#BSFLAGS= -64bit -mainclass $(PROGRAM) -garbagestats #-joptimize -noloop -optimize
-USEOOO= -ooojava 8 2  -ooodebug 
-BSFLAGS= -64bit -nooptimize -mainclass $(PROGRAM) -debug -garbagestats -joptimize
-DISJOINT= -disjoint -disjoint-k 1 -enable-assertions 
+USEOOO= -ooojava 24 2  -ooodebug  
+BSFLAGS= -64bit -mainclass $(PROGRAM) -garbagestats -joptimize -noloop -optimize
+#USEOOO= -ooojava 8 2  -ooodebug 
+#BSFLAGS= -64bit -nooptimize -mainclass $(PROGRAM) -debug -garbagestats -joptimize -noloop
+
+DRELEASEMODE=-disjoint-release-mode -disjoint-alias-file aliases.txt tabbed
+DISJOINT= -disjoint -disjoint-k 1 -enable-assertions $(DRELEASEMODE) #-disjoint-desire-determinism
+
 
 default:
        $(BUILDSCRIPT) -nojava $(USEOOO) $(BSFLAGS) $(DISJOINT) -o $(PROGRAM)p $(SOURCE_FILES) -builddir par