rewriting of callee tokens into caller tokens was incorrect
[IRC.git] / Robust / src / Benchmarks / Ownership / makefile
1 BUILDSCRIPT=~/research/Robust/src/buildscript
2 BSFLAGS= -recover -ownership -ownaliasfile aliases.txt -enable-assertions -ownwritedots final #-flatirtasks
3 AD1= -ownallocdepth 1
4 AD3= -ownallocdepth 3
5 AD5= -ownallocdepth 5
6 AD9= -ownallocdepth 9
7
8 all: ad1
9
10
11 ad1:
12         $(BUILDSCRIPT) $(BSFLAGS) $(AD1) *.java
13
14 ad3:
15         $(BUILDSCRIPT) $(BSFLAGS) $(AD3) *.java
16
17 ad5:
18         $(BUILDSCRIPT) $(BSFLAGS) $(AD5) *.java
19
20 ad9:
21         $(BUILDSCRIPT) $(BSFLAGS) $(AD9) *.java
22
23
24 #view: PNGs
25 #       eog *.png &
26
27 #PNGs: DOTs
28 #       d2p *COMPLETE*.dot
29
30 clean:
31         rm -f  *.bin
32         rm -fr tmpbuilddirectory
33         rm -f  *~
34         rm -f  *.dot
35         rm -f  *.png
36         rm -f  aliases.txt