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