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 bcca5c681045f9d63fc8e142a7e3906d6e3c3726..41822a9593336b5824c5f95917bddb70dad458cf 100644 (file)
--- a/Robust/src/Benchmarks/oooJava/tracking/makefile
+++ b/Robust/src/Benchmarks/oooJava/tracking/makefile
@@ -8,7 +8,10 @@ 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
-DISJOINT= -disjoint -disjoint-k 1 -enable-assertions 
+
+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