X-Git-Url: http://plrg.eecs.uci.edu/git/?p=IRC.git;a=blobdiff_plain;f=Robust%2Fsrc%2FBenchmarks%2FSSJava%2FMP3Decoder%2Fmakefile;h=3f7f58bd6afaffe68013e782414c4d80d145c269;hp=b82df16b919d8bfb4538ae313dbe846c6c797f49;hb=2b76431d2955e3c240d57a2f71f1978f0e8a317d;hpb=13131e7629875b0529ed77d70ea02e0a893103da

diff --git a/Robust/src/Benchmarks/SSJava/MP3Decoder/makefile b/Robust/src/Benchmarks/SSJava/MP3Decoder/makefile
index b82df16b..3f7f58bd 100644
--- a/Robust/src/Benchmarks/SSJava/MP3Decoder/makefile
+++ b/Robust/src/Benchmarks/SSJava/MP3Decoder/makefile
@@ -1,12 +1,20 @@
 BUILDSCRIPT=../../../buildscript
 
 PROGRAM=MP3Player
-SOURCE_FILES=MP3Player.java
+SOURCE_FILES=MP3Player.java Player.java
+
+ifndef INV_ERROR_PROB
+INV_ERROR_PROB=1000
+endif
+
+ifndef RANDOMSEED
+RANDOMSEED=12345
+endif
 
 SSJAVA= -ssjava -ssjavadebug
-BSFLAGS= -32bit -mainclass $(PROGRAM)  -heapsize-mb 1000  -nooptimize -debug -garbagestats #-printlinenum #-joptimize
+BSFLAGS= -32bit -mainclass $(PROGRAM)  -heapsize-mb 1350  -nooptimize -debug -garbagestats #-printlinenum #-joptimize
 NORMAL= -ssjava-inject-error 0 0
-INJECT_ERROR= -ssjava-inject-error 1000 12345
+INJECT_ERROR= -ssjava-inject-error $(INV_ERROR_PROB) $(RANDOMSEED)
 
 
 default: $(PROGRAM)s.bin
@@ -25,9 +33,14 @@ $(PROGRAM)n.bin: $(SOURCE_FILES) makefile
 $(PROGRAM)e.bin: $(SOURCE_FILES) makefile
 	$(BUILDSCRIPT) $(INJECT_ERROR) $(BSFLAGS) -o $(PROGRAM)e -builddir injerr $(SOURCE_FILES) 
 
+cleanerror:
+	rm -f $(PROGRAM)e.bin
+	rm -rf injerr
+
 clean:
 	rm -f  $(PROGRAM)s.bin $(PROGRAM)n.bin $(PROGRAM)e.bin
 	rm -fr ssj norm injerr
+	rm -f nve-diff.tmp nve-diff-ranges.tmp
 	rm -f  *~
 	rm -f  *.dot
 	rm -f  *.png