Robust/src/Tests/disjoint/empty-reach/makefile

   1 PROGRAM=test
   2
   3 SOURCE_FILES=$(PROGRAM).java
   4
   5 BUILDSCRIPT=~/research/Robust/src/buildscript
   6 BSFLAGS= -joptimize -mainclass Test -justanalyze -disjoint -disjoint-k 1 -enable-assertions \
   7 #-flatirusermethods -disjoint-write-dots final -disjoint-alias-file aliases.txt normal
   8
   9 all: $(PROGRAM).bin
  10
  11 view: PNGs
  12         eog *.png &
  13
  14 PNGs: DOTs
  15         d2p *COMPLETE*.dot
  16
  17 DOTs: $(PROGRAM).bin
  18
  19 $(PROGRAM).bin: $(SOURCE_FILES)
  20         $(BUILDSCRIPT) $(BSFLAGS) -o $(PROGRAM) $(SOURCE_FILES)
  21
  22 clean:
  23         rm -f  $(PROGRAM).bin
  24         rm -fr tmpbuilddirectory
  25         rm -f  *~
  26         rm -f  *.dot
  27         rm -f  *.png
  28         rm -f  aliases.txt