changes + add two more benchmarks without annotations

[IRC.git] / Robust / src / Benchmarks / SSJava / JavaNatorInfer / makefile

diff --git a/Robust/src/Benchmarks/SSJava/JavaNatorInfer/makefile b/Robust/src/Benchmarks/SSJava/JavaNatorInfer/makefile
new file mode 100644 (file)
index 0000000..99d8177
--- /dev/null
+++ b/Robust/src/Benchmarks/SSJava/JavaNatorInfer/makefile
@@ -0,0 +1,52 @@
+BUILDSCRIPT=../../../buildscript
+
+PROGRAM=RobotMain
+SOURCE_FILES=RobotMain.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  *.pdf
+       rm -f  aliases.txt
+       rm -f  results*txt
+       rm -f  output.txt
+       rm -f *log
+