Robust/src/Benchmarks/disjoint/makefile

   1 BUILDSCRIPT=~/research/Robust/src/buildscript
   2
   3 #################################################
   4 ##
   5 ##  To debug a call site, supply the symbols for
   6 ##  the callee, then caller, then max number of
   7 ##  analysis visits to the call site to write out
   8 ##
   9 #################################################
  10 #DEBUGFLAGS= -disjoint-debug-callsite setClusters innerKMeansSetting 20
  11 DEBUGFLAGS= -disjoint-debug-callsite ensureCapacity addElement 100
  12
  13
  14 #################################################
  15 ##
  16 ##  To get snapshots (graphs) for the exit of every
  17 ##  node in a method, supply method symbol then the
  18 ##  number of analysis visits to the method to skip
  19 ##  (early visits usually uninteresting), then the
  20 ##  number of visits to take snapshots for, finally
  21 ##  a boolean value indicating if the analysis should
  22 ##  immediately terminate after the last snapshot visit
  23 ##
  24 #################################################
  25 #SNAPFLAGS= -disjoint-debug-snap-method calcGoodFeatureTask 5 10 true
  26 #SNAPFLAGS= -disjoint-debug-snap-method calcGoodFeature 5 1 true
  27 #SNAPFLAGS= -disjoint-debug-snap-method t3 1 1 true
  28
  29
  30
  31
  32 BAMBOOFLAGS= -recover
  33 JAVAFLAGS= -mainclass test
  34
  35 VISITMODE= -disjoint-dvisit-stack
  36 #VISITMODE= -disjoint-dvisit-pqueue
  37
  38 DEBUGMODE= -enable-assertions -disjoint-write-dots final -disjoint-alias-file aliases.txt normal
  39 RELEASEMODE= -disjoint-release-mode -disjoint-alias-file aliases.txt tabbed
  40
  41 BSFLAGS= -justanalyze -disjoint -disjoint-k 1 -flatirusermethods
  42
  43 all:
  44         echo 'pass another arg: <bamboo/bamboo-release/java/java-release>'
  45
  46 bamboo:
  47         $(BUILDSCRIPT) $(BAMBOOFLAGS) $(DEBUGMODE)   $(VISITMODE) $(BSFLAGS) $(DEBUGFLAGS) $(SNAPFLAGS) *.java
  48
  49 bamboo-release:
  50         $(BUILDSCRIPT) $(BAMBOOFLAGS) $(RELEASEMODE) $(VISITMODE) $(BSFLAGS) $(DEBUGFLAGS) $(SNAPFLAGS) *.java
  51
  52 java:
  53         $(BUILDSCRIPT) $(JAVAFLAGS)   $(DEBUGMODE)   $(VISITMODE) $(BSFLAGS) $(DEBUGFLAGS) $(SNAPFLAGS) *.java
  54
  55 java-release:
  56         $(BUILDSCRIPT) $(JAVAFLAGS)   $(RELEASEMODE) $(VISITMODE) $(BSFLAGS) $(DEBUGFLAGS) $(SNAPFLAGS) *.java
  57
  58 clean:
  59         rm -f  *.bin
  60         rm -fr tmpbuilddirectory
  61         rm -f  *~
  62         rm -f  *.dot
  63         rm -f  *.png
  64         rm -f  *.aux
  65         rm -f  *.log
  66         rm -f  *.pdf
  67         rm -f  aliases.txt
  68         rm -f  tabResults.tex