X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=Robust%2Fsrc%2FBenchmarks%2FSSJava%2FMP3DecoderInfer%2Fmakefile;fp=Robust%2Fsrc%2FBenchmarks%2FSSJava%2FMP3DecoderInfer%2Fmakefile;h=ea1ad43389c6519bfca3b22e075fbe0ea629a846;hb=5e5c10a2592a9acd282a1ae27bdf7468beb12e90;hp=3619a32608c63ab7a2b829a999450c37d122cb8a;hpb=7becd1f25e9936c0aabe197eadff78ebb73ba3e9;p=IRC.git

diff --git a/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/makefile b/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/makefile
index 3619a326..ea1ad433 100644
--- a/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/makefile
+++ b/Robust/src/Benchmarks/SSJava/MP3DecoderInfer/makefile
@@ -3,39 +3,15 @@ BUILDSCRIPT=../../../buildscript
 PROGRAM=MP3Player
 SOURCE_FILES=MP3Player.java Player.java
 
-ifndef INV_ERROR_PROB
-INV_ERROR_PROB=1000
-endif
-
-ifndef RANDOMSEED
-RANDOMSEED=12345
-endif
-
 SSJAVA= -ssjava -ssjavainfer -ssjavadebug
-BSFLAGS= -32bit -mainclass $(PROGRAM)  -heapsize-mb 1350  -nooptimize -debug -garbagestats #-printlinenum #-joptimize
-NORMAL= -ssjava-inject-error 0 0
-INJECT_ERROR= -ssjava-inject-error $(INV_ERROR_PROB) $(RANDOMSEED)
+BSFLAGS= -32bit -mainclass $(PROGRAM)  -heapsize-mb 1350 -nooptimize -debug -garbagestats #-printlinenum #-joptimize
 
+#NAIVELAG= -ssjava-infer-naive-writedots
 
 default: $(PROGRAM)s.bin
 
-normal: $(PROGRAM)n.bin
-
-error: $(PROGRAM)e.bin
-
-
 $(PROGRAM)s.bin: $(SOURCE_FILES) makefile
-	$(BUILDSCRIPT) $(SSJAVA) $(BSFLAGS) -o $(PROGRAM)s -builddir ssj $(SOURCE_FILES) 
-
-$(PROGRAM)n.bin: $(SOURCE_FILES) makefile
-	$(BUILDSCRIPT) $(NORMAL) $(BSFLAGS) -o $(PROGRAM)n -builddir norm $(SOURCE_FILES) 
-
-$(PROGRAM)e.bin: $(SOURCE_FILES) makefile
-	$(BUILDSCRIPT) $(SSJAVA) $(INJECT_ERROR) $(BSFLAGS) -o $(PROGRAM)e -builddir injerr $(SOURCE_FILES) 
-
-cleanerror:
-	rm -f $(PROGRAM)e.bin
-	rm -rf injerr
+	$(BUILDSCRIPT) $(SSJAVA) $(BSFLAGS) -o $(PROGRAM)s -builddir ssj $(SOURCE_FILES) $(NAIVEFLAG)
 
 clean:
 	rm -f  $(PROGRAM)s.bin $(PROGRAM)n.bin $(PROGRAM)e.bin
@@ -44,6 +20,7 @@ clean:
 	rm -f  *~
 	rm -f  *.dot
 	rm -f  *.png
+	rm -f  *.pdf
 	rm -f  aliases.txt
 	rm -f  results*txt
 	rm -f *log