3 SOURCE_FILES=test01.java
5 BUILDSCRIPT=~/research/Robust/src/buildscript
6 BSFLAGS= -recover -flatirtasks -ownership -enable-assertions
19 $(PROGRAM).bin: $(SOURCE_FILES)
20 $(BUILDSCRIPT) $(BSFLAGS) -o $(PROGRAM) $(SOURCE_FILES)
24 rm -fr tmpbuilddirectory