1 BUILDSCRIPT=~/research/Robust/src/buildscript
3 #DEBUGFLAGS= -disjoint-debug-callsite setPartial reduceOutput 1 20 false
4 #SNAPFLAGS= -disjoint-debug-snap-method reduceOutput 1 20 true
8 #VISITMODE= -disjoint-dvisit-stack
9 #VISITMODE= -disjoint-dvisit-pqueue
10 VISITMODE= -disjoint-dvisit-stack-callees-on-top
12 DEBUGMODE= -enable-assertions -disjoint-write-dots all -disjoint-alias-file aliases.txt normal -disjoint-desire-determinism
14 BSFLAGS= -justanalyze -disjoint -disjoint-k 1 -flatirusermethods -flatirtasks
17 $(BUILDSCRIPT) $(BAMBOOFLAGS) $(DEBUGMODE) $(VISITMODE) $(BSFLAGS) $(DEBUGFLAGS) $(SNAPFLAGS) *.java
21 rm -fr tmpbuilddirectory