3 SOURCE_FILES=$(PROGRAM).java
5 BUILDSCRIPT=~/research/Robust/src/buildscript
6 BSFLAGS= -recover -ownership -ownallocdepth 1 -ownaliasfile aliases.txt -ownwritedots final -enable-assertions
18 $(PROGRAM).bin: $(SOURCE_FILES)
19 $(BUILDSCRIPT) $(BSFLAGS) -o $(PROGRAM) $(SOURCE_FILES)
23 rm -fr tmpbuilddirectory