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
rm -f *~
rm -f *.dot
rm -f *.png
+ rm -f *.pdf
rm -f aliases.txt
rm -f results*txt
rm -f *log