Added mlp runtime skeleton, flags to build it, syntax option to name sese blocks
[IRC.git] / Robust / src / Tests / mlp / tinyTest / makefile
1 PROGRAM=test
2
3 SOURCE_FILES=$(PROGRAM).java
4
5 BUILDSCRIPT=~/research/Robust/src/buildscript
6 BSFLAGS= -mlp -mainclass Test -ownership -ownallocdepth 1 -ownwritedots final -enable-assertions -flatirusermethods -ownaliasfile aliases.txt #-justanalyze -recover 
7
8 all: $(PROGRAM).bin
9
10 view: PNGs
11         eog *.png &
12
13 PNGs: DOTs
14         d2p *COMPLETE*.dot
15
16 DOTs: $(PROGRAM).bin
17
18 $(PROGRAM).bin: $(SOURCE_FILES)
19         $(BUILDSCRIPT) $(BSFLAGS) -o $(PROGRAM) $(SOURCE_FILES)
20
21 clean:
22         rm -f  $(PROGRAM).bin
23         rm -fr tmpbuilddirectory
24         rm -f  *~
25         rm -f  *.dot
26         rm -f  *.png
27         rm -f  aliases.txt