Robust/src/Benchmarks/Ownership/makefile

   1 BUILDSCRIPT=~/research/Robust/src/buildscript
   2 BSFLAGS= -recover -ownership -ownaliasfile aliases.txt -enable-assertions #-flatirtasks
   3 AD3= -ownallocdepth 3
   4 AD5= -ownallocdepth 5
   5 AD9= -ownallocdepth 9
   6
   7 all: ad3
   8
   9
  10 ad3:
  11         $(BUILDSCRIPT) $(BSFLAGS) $(AD3) *.java
  12
  13 ad5:
  14         $(BUILDSCRIPT) $(BSFLAGS) $(AD5) *.java
  15
  16 ad9:
  17         $(BUILDSCRIPT) $(BSFLAGS) $(AD9) *.java
  18
  19
  20 #view: PNGs
  21 #       eog *.png &
  22
  23 #PNGs: DOTs
  24 #       d2p *COMPLETE*.dot
  25
  26 clean:
  27         rm -f  *.bin
  28         rm -fr tmpbuilddirectory
  29         rm -f  *~
  30         rm -f  *.dot
  31         rm -f  *.png
  32         rm -f  aliases.txt