3 SOURCE_FILES=$(PROGRAM).java
5 BUILDSCRIPT=~/research/Robust/src/buildscript
6 BSFLAGS= -recover -ownership -ownaliasfile aliases.txt -enable-assertions
7 OUTFLAGS= -ownwritedots final #-flatirusermethods
19 $(PROGRAM).bin: $(SOURCE_FILES)
20 $(BUILDSCRIPT) $(BSFLAGS) $(OUTFLAGS) -o $(PROGRAM) $(SOURCE_FILES)
24 rm -fr tmpbuilddirectory