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
$(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