3 SOURCE_FILES=$(PROGRAM).java
5 BUILDSCRIPT=~/research/Robust/src/buildscript
6 #BSFLAGS= -mlpdebug -mainclass Test -ownership -ownallocdepth 1 -ownwritedots final -enable-assertions -flatirusermethods -ownaliasfile aliases.txt #-justanalyze -recover
7 BSFLAGS= -mainclass Test -ownership -ownallocdepth 1 -ownwritedots final -enable-assertions -flatirusermethods -ownaliasfile aliases.txt #-justanalyze -recover
20 $(PROGRAM).bin: $(SOURCE_FILES)
21 $(BUILDSCRIPT) $(BSFLAGS) -o $(PROGRAM) $(SOURCE_FILES)
25 rm -fr tmpbuilddirectory