Robust/src/Tests/disjoint/var-reuse-bug-example/makefile

   1 PROGRAM=Test
   2
   3 SOURCE_FILES=test.java
   4
   5 BUILDSCRIPT=../../../buildscript
   6
   7 COREPROFOVERFLOW= #-coreprof-checkoverflow
   8 USECOREPROF= #-coreprof $(COREPROFOVERFLOW) \
   9         -coreprof-eventwords 1024*1024*128 \
  10         -coreprof-enable cpe_main \
  11         -coreprof-enable cpe_runmalloc \
  12         -coreprof-enable cpe_runfree \
  13         -coreprof-enable cpe_count_poolalloc \
  14         -coreprof-enable cpe_count_poolreuse \
  15         -coreprof-enable cpe_workschedgrab \
  16         -coreprof-enable cpe_taskdispatch \
  17         -coreprof-enable cpe_taskexecute \
  18         -coreprof-enable cpe_taskretire
  19 #       -coreprof-enable cpe_taskstallvar \
  20 #       -coreprof-enable cpe_taskstallmem
  21
  22
  23 DISJOINT= -disjoint -disjoint-k 1 -enable-assertions #-disjoint-desire-determinism
  24
  25 USEOOO= -ooojava 24 2      -ooodebug -squeue
  26 USERCR= -ooojava 23 2 -rcr -ooodebug -squeue
  27
  28 BSFLAGS= -justanalyze -mainclass $(PROGRAM) -heapsize-mb 1024 -garbagestats -noloop -joptimize -debug #-ooodebug-disable-task-mem-pool -64bit
  29
  30
  31 all: ooo
  32
  33
  34 single:
  35         $(BUILDSCRIPT) $(BSFLAGS) -thread -o $(PROGRAM)s -builddir sing $(SOURCE_FILES)
  36
  37
  38 ooo: $(PROGRAM)p.bin
  39
  40 $(PROGRAM)p.bin: $(SOURCE_FILES) makefile
  41         $(BUILDSCRIPT) $(BSFLAGS) $(USECOREPROF) $(USEOOO) $(DISJOINT) -o $(PROGRAM)p -builddir par  $(SOURCE_FILES)
  42
  43 rcr: $(PROGRAM)r.bin
  44
  45 $(PROGRAM)r.bin: $(SOURCE_FILES) makefile
  46         $(BUILDSCRIPT) $(BSFLAGS) $(USECOREPROF) $(USERCR) $(DISJOINT) -o $(PROGRAM)r -builddir rcr  $(SOURCE_FILES)
  47
  48
  49 clean:
  50         rm -f  $(PROGRAM)p.bin $(PROGRAM)r.bin $(PROGRAM)s.bin
  51         rm -fr par rcr sing
  52         rm -f  *~
  53         rm -f  *.dot
  54         rm -f  *.png
  55         rm -f  *.txt
  56         rm -f  aliases.txt
  57         rm -f  mlpReport*txt
  58         rm -f  results*txt
  59         rm -f  coreprof.dat