Robust/src/Tests/disjoint/definite/makefile

   1 PROGRAM=Test
   2
   3 SOURCE_FILES=test.java
   4
   5 BUILDSCRIPT=../../../buildscript
   6
   7 DISJOINT= -disjoint -disjoint-k 1 -enable-assertions -do-definite-reach-analysis
   8
   9 BSFLAGS= -justanalyze -mainclass $(PROGRAM) -heapsize-mb 1024 -noloop -joptimize -debug
  10
  11
  12 all:
  13         $(BUILDSCRIPT) -thread $(BSFLAGS) $(DISJOINT) -o $(PROGRAM)s -builddir sing $(SOURCE_FILES)
  14
  15 clean:
  16         rm -f  $(PROGRAM)s.bin
  17         rm -fr sing
  18         rm -f  *~
  19         rm -f  *.dot
  20         rm -f  *.png
  21         rm -f  *.txt
  22         rm -f  aliases.txt
  23         rm -f  mlpReport*txt
  24         rm -f  results*txt
  25         rm -f  coreprof.dat