3 SOURCE_FILES=$(PROGRAM).java
5 BUILDSCRIPT=~/research/Robust/src/buildscript
7 BSFLAGS= -mainclass Test -justanalyze -ooojava -disjoint -disjoint-k 1 -enable-assertions
8 DEBUGFLAGS= -disjoint-write-dots final -disjoint-write-initial-contexts -disjoint-write-ihms -disjoint-debug-snap-method main 0 10 true
20 $(PROGRAM).bin: $(SOURCE_FILES)
21 $(BUILDSCRIPT) $(BSFLAGS) $(DEBUGFLAGS) -o $(PROGRAM) $(SOURCE_FILES)
25 rm -fr tmpbuilddirectory