3 SOURCE_FILES=$(PROGRAM).java
5 BUILDSCRIPT=~/research/Robust/src/buildscript
8 BSFLAGS= -mainclass Test -justanalyze -disjoint -disjoint-k 2 -disjoint-write-dots final -enable-assertions
20 $(PROGRAM).bin: $(SOURCE_FILES)
21 $(BUILDSCRIPT) $(BSFLAGS) $(DEBUGFLAGS) -o $(PROGRAM) $(SOURCE_FILES)
25 rm -fr tmpbuilddirectory