1 BUILDSCRIPT=../../../buildscript
4 SOURCE_FILES=MP3Player.java Player.java
14 SSJAVA= -ssjava -ssjavadebug
15 BSFLAGS= -32bit -mainclass $(PROGRAM) -heapsize-mb 1350 -nooptimize -debug -garbagestats #-printlinenum #-joptimize
16 NORMAL= -ssjava-inject-error 0 0
17 INJECT_ERROR= -ssjava-inject-error $(INV_ERROR_PROB) $(RANDOMSEED)
20 default: $(PROGRAM)s.bin
22 normal: $(PROGRAM)n.bin
24 error: $(PROGRAM)e.bin
27 $(PROGRAM)s.bin: $(SOURCE_FILES) makefile
28 $(BUILDSCRIPT) $(SSJAVA) $(BSFLAGS) -o $(PROGRAM)s -builddir ssj $(SOURCE_FILES)
30 $(PROGRAM)n.bin: $(SOURCE_FILES) makefile
31 $(BUILDSCRIPT) $(NORMAL) $(BSFLAGS) -o $(PROGRAM)n -builddir norm $(SOURCE_FILES)
33 $(PROGRAM)e.bin: $(SOURCE_FILES) makefile
34 $(BUILDSCRIPT) $(SSJAVA) $(INJECT_ERROR) $(BSFLAGS) -o $(PROGRAM)e -builddir injerr $(SOURCE_FILES)
41 rm -f $(PROGRAM)s.bin $(PROGRAM)n.bin $(PROGRAM)e.bin
42 rm -fr ssj norm injerr
43 rm -f nve-diff.tmp nve-diff-ranges.tmp