Robust/src/Benchmarks/mlp/directto/mlp-small-for-testing/makefile

   1 MAIN_CLASS=D2
   2
   3 PROGRAM=test
   4 SOURCE_FILES=D2.java
   5
   6 BUILDSCRIPT=~/research/Robust/src/buildscript
   7 BSFLAGS= -debug -mainclass $(MAIN_CLASS) -joptimize -flatirusermethods #-flatirlibmethods
   8
   9 #DBCALLFLAGS= -owndebugcaller main -owndebugcallee executeAll
  10 #DBCALLFLAGS= -owndebugcaller executeAll -owndebugcallee executeMessage -owndebugcallcount 0
  11 #DBCALLFLAGS= -owndebugcaller executeAll -owndebugcallee next -owndebugcallcount 0
  12 #DBCALLFLAGS= -owndebugcaller executeAll -owndebugcallee hasNext -owndebugcallcount 0
  13 #DBCALLFLAGS= -owndebugcaller executeAll -owndebugcallee size -owndebugcallcount 0
  14 #DBCALLFLAGS= -owndebugcaller executeMessage -owndebugcallee getFlightList -owndebugcallcount 0
  15 #DBCALLFLAGS= -owndebugcaller executeMessage -owndebugcallee amendFlightPlan -owndebugcallcount 0
  16 #DBCALLFLAGS= -owndebugcaller amendFlightPlan -owndebugcallee getFlight -owndebugcallcount 0
  17 #DBCALLFLAGS= -owndebugcaller amendFlightPlan -owndebugcallee addFix -owndebugcallcount 0
  18 #DBCALLFLAGS= -owndebugcaller addFix -owndebugcallee addFix -owndebugcallcount 0
  19 #DBCALLFLAGS= -owndebugcaller addFix -owndebugcallee insertElementAt -owndebugcallcount 0
  20 #DBCALLFLAGS= -owndebugcaller insertElementAt -owndebugcallee ensureCapacity -owndebugcallcount 0
  21
  22 ANALYZEFLAGS= -justanalyze $(DBCALLFLAGS) -ownership -ownallocdepth 1 -ownwritedots final -ownaliasfile aliases.txt -enable-assertions
  23
  24 all: $(PROGRAM)
  25
  26 view: PNGs
  27         eog *.png &
  28
  29 PNGs: DOTs
  30         d2p *COMPLETE*.dot
  31
  32 DOTs: $(PROGRAM).bin
  33
  34 $(PROGRAM): $(SOURCE_FILES)
  35         $(BUILDSCRIPT) $(BSFLAGS) -o $(PROGRAM) $(SOURCE_FILES)
  36
  37 analyze: $(SOURCE_FILES)
  38         $(BUILDSCRIPT) $(BSFLAGS) $(ANALYZEFLAGS) -o $(PROGRAM) $(SOURCE_FILES)
  39
  40 clean:
  41         rm -f  $(PROGRAM).bin
  42         rm -fr tmpbuilddirectory
  43         rm -f  *~
  44         rm -f  *.dot
  45         rm -f  *.png
  46         rm -f  aliases.txt
  47         rm -f  output.txt
  48