From 614126ef2906ad84229524afec5b442ec767af2b Mon Sep 17 00:00:00 2001
From: yeom <yeom>
Date: Fri, 30 Sep 2011 23:14:15 +0000
Subject: [PATCH] makefile

---
 .../src/Benchmarks/SSJava/JavaNator/makefile  | 23 +++++++++++++++++++
 1 file changed, 23 insertions(+)
 create mode 100644 Robust/src/Benchmarks/SSJava/JavaNator/makefile

diff --git a/Robust/src/Benchmarks/SSJava/JavaNator/makefile b/Robust/src/Benchmarks/SSJava/JavaNator/makefile
new file mode 100644
index 00000000..5fa3e880
--- /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
+
-- 
2.34.1