Robust/src/Benchmarks/Ownership/makefile

   1 BUILDSCRIPT=~/research/Robust/src/buildscript
   2 BSFLAGS= -recover -justanalyze -ownership -ownallocdepth 1 -enable-assertions #-ownwritedots final #-flatirtasks
   3
   4
   5 tabbed:
   6         $(BUILDSCRIPT) $(BSFLAGS) -ownaliasfiletab aliases.txt *.java
   7
   8 normal:
   9         $(BUILDSCRIPT) $(BSFLAGS) -ownaliasfile aliases.txt *.java
  10
  11
  12 #view: PNGs
  13 #       eog *.png &
  14
  15 #PNGs: DOTs
  16 #       d2p *COMPLETE*.dot
  17
  18 clean:
  19         rm -f  *.bin
  20         rm -fr tmpbuilddirectory
  21         rm -f  *~
  22         rm -f  *.dot
  23         rm -f  *.png
  24         rm -f  *.aux
  25         rm -f  *.log
  26         rm -f  *.pdf
  27         rm -f  aliases.txt
  28         rm -f  tabResults.tex