Robust/src/Benchmarks/disjoint/makefile

   1 BUILDSCRIPT=~/research/Robust/src/buildscript
   2
   3 #################################################
   4 ##
   5 ##  To debug a call site supply:
   6 ##    1. callee symbol
   7 ##    2. caller symbol
   8 ##    3. number of analysis call site visits to skip,
   9 ##       before starting to capture (early visits
  10 ##       are usually uninteresting)
  11 ##    4. number of call site visits to capture
  12 ##    5. whether to halt analysis immediately
  13 ##       after capture (or let it run on normally)
  14 ##
  15 #################################################
  16 #DEBUGFLAGS= -disjoint-debug-callsite addInterOutput t6 20 50 false
  17 #DEBUGFLAGS= -disjoint-debug-callsite addElement addInterOutput 1 100 false
  18 #DEBUGFLAGS= -disjoint-debug-callsite ensureCapacity addElement 1 100 false
  19 #DEBUGFLAGS= -disjoint-debug-callsite get sortgroup 200 200 false
  20
  21
  22
  23 #################################################
  24 ##
  25 ##  To get snapshots (graphs) for the exit of every
  26 ##  node in a method, supply:
  27 ##    1. method symbol
  28 ##    2. number of methods visits to skip,
  29 ##       before starting to capture (early visits
  30 ##       are usually uninteresting)
  31 ##    3. number of analysis method visits to capture
  32 ##    4. whether to halt analysis immediately
  33 ##       after capture (or let it run on normally)
  34 ##
  35 #################################################
  36 #SNAPFLAGS= -disjoint-debug-snap-method calcGoodFeatureTask 5 10 true
  37 #SNAPFLAGS= -disjoint-debug-snap-method calcGoodFeature 5 1 true
  38
  39 #SNAPFLAGS= -disjoint-debug-snap-method t6 20 1 false
  40 #SNAPFLAGS= -disjoint-debug-snap-method addInterOutput 1 100 false
  41 #SNAPFLAGS= -disjoint-debug-snap-method addElement 1 100 false
  42 #SNAPFLAGS= -disjoint-debug-snap-method sortgroup 50 100 false
  43
  44 #SNAPFLAGS= -disjoint-debug-snap-method reduceOutput 1 20 true
  45 #SNAPFLAGS= -disjoint-debug-snap-method setReduceFinish 5 50 true
  46 #SNAPFLAGS= -disjoint-debug-snap-method setPartial 1 50 true
  47
  48
  49
  50
  51 BAMBOOFLAGS= -recover
  52 JAVAFLAGS= -mainclass test
  53
  54 #VISITMODE= -disjoint-dvisit-stack
  55 #VISITMODE= -disjoint-dvisit-pqueue
  56 VISITMODE= -disjoint-dvisit-stack-callees-on-top
  57
  58 DEBUGMODE= -enable-assertions -disjoint-write-dots final -disjoint-alias-file aliases.txt normal -disjoint-desire-determinism #-disjoint-write-initial-contexts -disjoint-write-ihms #-disjoint-debug-scheduling
  59 RELEASEMODE= -disjoint-release-mode -disjoint-alias-file aliases.txt tabbed
  60
  61 BSFLAGS= -justanalyze -disjoint -disjoint-k 1 #-flatirusermethods -flatirtasks
  62
  63 all:
  64         echo 'pass another arg: <bamboo/bamboo-release/java/java-release>'
  65
  66 bamboo:
  67         $(BUILDSCRIPT) $(BAMBOOFLAGS) $(DEBUGMODE)   $(VISITMODE) $(BSFLAGS) $(DEBUGFLAGS) $(SNAPFLAGS) *.java
  68
  69 bamboo-s:
  70         $(BUILDSCRIPT) $(BAMBOOFLAGS) $(DEBUGMODE) -disjoint-dvisit-stack  $(BSFLAGS) $(DEBUGFLAGS) $(SNAPFLAGS) *.java
  71
  72 bamboo-q:
  73         $(BUILDSCRIPT) $(BAMBOOFLAGS) $(DEBUGMODE) -disjoint-dvisit-pqueue $(BSFLAGS) $(DEBUGFLAGS) $(SNAPFLAGS) *.java
  74
  75 bamboo-sees:
  76         $(BUILDSCRIPT) $(BAMBOOFLAGS) $(DEBUGMODE) -disjoint-dvisit-stack-callees-on-top $(BSFLAGS) $(DEBUGFLAGS) $(SNAPFLAGS) *.java
  77
  78
  79 bamboo-release:
  80         $(BUILDSCRIPT) $(BAMBOOFLAGS) $(RELEASEMODE) $(VISITMODE) $(BSFLAGS) $(DEBUGFLAGS) $(SNAPFLAGS) *.java
  81
  82 java:
  83         $(BUILDSCRIPT) $(JAVAFLAGS)   $(DEBUGMODE)   $(VISITMODE) $(BSFLAGS) $(DEBUGFLAGS) $(SNAPFLAGS) *.java
  84
  85 java-release:
  86         $(BUILDSCRIPT) $(JAVAFLAGS)   $(RELEASEMODE) $(VISITMODE) $(BSFLAGS) $(DEBUGFLAGS) $(SNAPFLAGS) *.java
  87
  88 clean:
  89         rm -f  *.bin
  90         rm -fr tmpbuilddirectory
  91         rm -f  *~
  92         rm -f  *.dot
  93         rm -f  *.png
  94         rm -f  *.aux
  95         rm -f  *.log
  96         rm -f  *.pdf
  97         rm -f  aliases.txt
  98         rm -f  tabResults.tex