Robust/src/Tests/ssJava/mp3decoder/makefile

   1 BUILDSCRIPT=../../../buildscript
   2
   3 PROGRAM=MP3Player
   4 SOURCE_FILES=MP3Player.java
   5
   6 BSFLAGS= -32bit -ssjava -ssjavadebug -mainclass $(PROGRAM)  -heapsize-mb 1000  -nooptimize -debug -garbagestats #-printlinenum #-joptimize
   7
   8 default: $(PROGRAM)s.bin
   9
  10 $(PROGRAM)s.bin: $(SOURCE_FILES) makefile
  11         $(BUILDSCRIPT) $(BSFLAGS) -o $(PROGRAM) -builddir sing $(SOURCE_FILES)
  12
  13 clean:
  14         rm -f  $(PROGRAM).bin
  15         rm -fr sing
  16         rm -f  *~
  17         rm -f  *.dot
  18         rm -f  *.png
  19         rm -f  *.txt
  20         rm -f  aliases.txt
  21         rm -f  results*txt
  22         rm -f *log
  23