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 #VISITMODE= -disjoint-dvisit-stack-callees-on-top
  38
  39 DEBUGMODE= -enable-assertions -disjoint-write-dots final -disjoint-alias-file aliases.txt normal
  40 RELEASEMODE= -disjoint-release-mode -disjoint-alias-file aliases.txt tabbed
  41
  42 BSFLAGS= -justanalyze -disjoint -disjoint-k 1 -flatirusermethods
  43
  44 all:
  45         echo 'pass another arg: <bamboo/bamboo-release/java/java-release>'
  46
  47 bamboo:
  48         $(BUILDSCRIPT) $(BAMBOOFLAGS) $(DEBUGMODE)   $(VISITMODE) $(BSFLAGS) $(DEBUGFLAGS) $(SNAPFLAGS) *.java
  49
  50 bamboo-s:
  51         $(BUILDSCRIPT) $(BAMBOOFLAGS) $(DEBUGMODE) -disjoint-dvisit-stack  $(BSFLAGS) $(DEBUGFLAGS) $(SNAPFLAGS) *.java
  52
  53 bamboo-q:
  54         $(BUILDSCRIPT) $(BAMBOOFLAGS) $(DEBUGMODE) -disjoint-dvisit-pqueue $(BSFLAGS) $(DEBUGFLAGS) $(SNAPFLAGS) *.java
  55
  56 bamboo-sees:
  57         $(BUILDSCRIPT) $(BAMBOOFLAGS) $(DEBUGMODE) -disjoint-dvisit-stack-callees-on-top $(BSFLAGS) $(DEBUGFLAGS) $(SNAPFLAGS) *.java
  58
  59
  60 bamboo-release:
  61         $(BUILDSCRIPT) $(BAMBOOFLAGS) $(RELEASEMODE) $(VISITMODE) $(BSFLAGS) $(DEBUGFLAGS) $(SNAPFLAGS) *.java
  62
  63 java:
  64         $(BUILDSCRIPT) $(JAVAFLAGS)   $(DEBUGMODE)   $(VISITMODE) $(BSFLAGS) $(DEBUGFLAGS) $(SNAPFLAGS) *.java
  65
  66 java-release:
  67         $(BUILDSCRIPT) $(JAVAFLAGS)   $(RELEASEMODE) $(VISITMODE) $(BSFLAGS) $(DEBUGFLAGS) $(SNAPFLAGS) *.java
  68
  69 clean:
  70         rm -f  *.bin
  71         rm -fr tmpbuilddirectory
  72         rm -f  *~
  73         rm -f  *.dot
  74         rm -f  *.png
  75         rm -f  *.aux
  76         rm -f  *.log
  77         rm -f  *.pdf
  78         rm -f  aliases.txt
  79         rm -f  tabResults.tex