6 BUILDSCRIPT=~/research/Robust/src/buildscript
7 BSFLAGS= -debug -nooptimize -mainclass $(MAIN_CLASS)
9 DBCALLFLAGS= -owndebugcaller main -owndebugcallee executeAll
10 #DBCALLFLAGS= -owndebugcaller executeAll -owndebugcallee executeMessage -owndebugcallcount 0
11 #DBCALLFLAGS= -owndebugcaller executeMessage -owndebugcallee amendFlightPlan
13 ANALYZEFLAGS= -justanalyze $(DBCALLFLAGS) -ownership -ownallocdepth 1 -ownwritedots final -ownaliasfile aliases.txt -enable-assertions
25 $(PROGRAM): $(SOURCE_FILES)
26 $(BUILDSCRIPT) $(BSFLAGS) -o $(PROGRAM) $(SOURCE_FILES)
28 analyze: $(SOURCE_FILES)
29 $(BUILDSCRIPT) $(BSFLAGS) $(ANALYZEFLAGS) -o $(PROGRAM) $(SOURCE_FILES)
33 rm -fr tmpbuilddirectory