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)


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

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
	rm -f  aliases.txt
	rm -f  results*txt
	rm -f *log