makefile

diff --git a/Robust/src/Benchmarks/SSJava/JavaNator/makefile b/Robust/src/Benchmarks/SSJava/JavaNator/makefile
new file mode 100644 (file)
index 0000000..5fa3e88
--- /dev/null
+++ b/Robust/src/Benchmarks/SSJava/JavaNator/makefile
@@ -0,0 +1,23 @@
+BUILDSCRIPT=../../../buildscript
+
+PROGRAM=RobotMain
+SOURCE_FILES=RobotMain.java
+
+BSFLAGS= -32bit -ssjava -mainclass $(PROGRAM)  -heapsize-mb 1000   -debug -garbagestats -ssjavadebug -printlinenum -joptimize -optimize
+
+default: $(PROGRAM)s.bin
+
+$(PROGRAM)s.bin: $(SOURCE_FILES) makefile
+       $(BUILDSCRIPT) $(BSFLAGS) -o $(PROGRAM) -builddir sing $(SOURCE_FILES) 
+
+clean:
+       rm -f  $(PROGRAM).bin
+       rm -fr sing
+       rm -f  *~
+       rm -f  *.dot
+       rm -f  *.png
+       rm -f  *.txt
+       rm -f  aliases.txt
+       rm -f  results*txt
+       rm -f *log
+