First bug fix is that the "unshadow" token conversion mistakenly transforms the oldes...

[IRC.git] / Robust / src / Tests / OwnershipAnalysisTest / test01 / makefile

diff --git a/Robust/src/Tests/OwnershipAnalysisTest/test01/makefile b/Robust/src/Tests/OwnershipAnalysisTest/test01/makefile
index 9168b1cda02e7b21ebaa161b132f10de805b2611..844c9e86c717a0a995eca27ad58b901335f74e2e 100644 (file)
--- a/Robust/src/Tests/OwnershipAnalysisTest/test01/makefile
+++ b/Robust/src/Tests/OwnershipAnalysisTest/test01/makefile
@@ -1,45 +1,17 @@
 PROGRAM=test01
 
-SOURCE_FILES=test01.java
+SOURCE_FILES=$(PROGRAM).java
 
 BUILDSCRIPT=~/research/Robust/src/buildscript
-BSFLAGS= -recover -flatirtasks -ownership #-enable-assertions
-#BSFLAGS= -recover -ownership -enable-assertions
+BSFLAGS= -recover -ownership -ownallocdepth 1 -ownaliasfile aliases.txt -ownwritedots final -enable-assertions
 
 all: $(PROGRAM).bin
 
 view: PNGs
-       eog *flatIRGraph*.png &
-       #eog *FN*.png &
-       #eog *Ownership*.png &
        eog *.png &
 
-printable:
-       rm -f *Startup*.dot
-       rm -f *FlatMethod*.dot
-       rm -f *FlatOpNode*.dot
-       rm -f *FlatFieldNode*.dot
-       rm -f *FlatSetFieldNode*.dot
-       rm -f *FlatCall*.dot
-       rm -f *Parameter*.dot
-       rm -f *Penguin*.dot
-       rm -f *Voo*.dot
-       rm -f *Baw*.dot
-       rm -f *COMPLETE.dot
-       dot2eps *.dot
-
 PNGs: DOTs
-       #rm -f *Startup*.dot
-       rm -f *FlatMethod*.dot
-       rm -f *FlatOpNode*.dot
-       rm -f *FlatFieldNode*.dot
-       rm -f *FlatSetFieldNode*.dot
-       rm -f *FlatCall*.dot
-       rm -f *Parameter*.dot
-       rm -f *Penguin*.dot
-       rm -f *Voo*.dot
-       rm -f *Baw*.dot
-       d2p *.dot
+       d2p *COMPLETE*.dot
 
 DOTs: $(PROGRAM).bin
 
@@ -52,5 +24,4 @@ clean:
        rm -f  *~
        rm -f  *.dot
        rm -f  *.png
-       rm -f  *.ps
-       rm -f  *.eps
+       rm -f  aliases.txt