Robust/src/Tests/OwnershipAnalysisTest/test01/makefile

   1 PROGRAM=test01
   2
   3 SOURCE_FILES=$(PROGRAM).java
   4
   5 BUILDSCRIPT=~/research/Robust/src/buildscript
   6 BSFLAGS= -recover -ownership -ownallocdepth 1 -ownaliasfile aliases.txt -ownwritedots final -enable-assertions
   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