Robust/src/Tests/disjoint/taintTest1/makefile

   1 PROGRAM=test
   2
   3 SOURCE_FILES=$(PROGRAM).java
   4
   5 BUILDSCRIPT=~/research/Robust/src/buildscript
   6
   7 BSFLAGS= -mainclass Test -justanalyze -ooojava -disjoint -disjoint-k 1 -enable-assertions
   8 DEBUGFLAGS= #-disjoint-write-dots final -disjoint-write-initial-contexts -disjoint-write-ihms -disjoint-debug-snap-method main 0 10 true
   9
  10 all: $(PROGRAM).bin
  11
  12 view: PNGs
  13         eog *.png &
  14
  15 PNGs: DOTs
  16         d2p *COMPLETE*.dot
  17
  18 DOTs: $(PROGRAM).bin
  19
  20 $(PROGRAM).bin: $(SOURCE_FILES)
  21         $(BUILDSCRIPT) $(BSFLAGS) $(DEBUGFLAGS) -o $(PROGRAM) $(SOURCE_FILES)
  22
  23 clean:
  24         rm -f  $(PROGRAM).bin
  25         rm -fr tmpbuilddirectory
  26         rm -f  *~
  27         rm -f  *.dot
  28         rm -f  *.png
  29         rm -f  aliases.txt
  30         rm -f  effects.txt