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