X-Git-Url: http://plrg.eecs.uci.edu/git/?p=iot2.git;a=blobdiff_plain;f=benchmarks%2FJava%2FLifxtest%2FMakefile;h=ade3d1419c345d49070f0a98144dfb284f69a9fd;hp=08c190bce48b7acb19e90ccd91cde71d1368bf36;hb=01541ae949154a8c6bfc488fd50c05d5561ea42b;hpb=7a119d4b8c8f39801afb6a2de46682715cedf289

diff --git a/benchmarks/Java/Lifxtest/Makefile b/benchmarks/Java/Lifxtest/Makefile
old mode 100755
new mode 100644
index 08c190b..ade3d14
--- a/benchmarks/Java/Lifxtest/Makefile
+++ b/benchmarks/Java/Lifxtest/Makefile
@@ -2,16 +2,30 @@ BASE = ../../..
 
 include $(BASE)/common.mk
 
-JFLAGS = -d $(BIN_DIR) -cp $(BIN_DIR):.
+JFLAGS = -d $(BIN_DIR) -cp $(BIN_DIR):$(CHECKERJARS):.
 JARFLAGS = cf 
 JARFLAGS_SMARTLIGHTS = cf Lifxtest.jar
 
+# checker option
+#
+CHECKER_OPT = -processor iotchecker.IoTJavaChecker -AprintErrorStack
+
+ASTUBS = -Astubs=../../../checker/astubs/ 
+
 all: lifxtest
 
+check-all: check-lifxtest
+
 PHONY += lifxtest
 lifxtest:
 	$(JAVAC) $(JFLAGS) *.java
 	cp Lifxtest.config $(BIN_DIR)/Lifxtest
-	cd $(BIN_DIR)/Lifxtest; $(JAR) $(JARFLAGS) Lifxtest.jar ../Lifxtest/Lifxtest*.class ../Lifxtest/LightBulb*.class ../iotcode/LifxLightBulb/*.class ../iotcode/interfaces/LightBulb*.class
+	cd $(BIN_DIR)/Lifxtest; $(JAR) $(JARFLAGS) Lifxtest.jar ../Lifxtest/Lifxtest*.class ../Lifxtest/LightBulb*.class ../iotcode/LifxLightBulb/*.class ../iotcode/interfaces/LightBulb*.class; mkdir tmp; mv Lifxtest.class ./tmp; rm -rf *.class; mv ./tmp/* ./; rm -rf ./tmp
+
+PHONY += check-lifxtest
+check-lifxtest:
+	$(JAVAC) $(JFLAGS) $(CHECKER_OPT) $(ASTUBS) *.java
+	cp Lifxtest.config $(BIN_DIR)/Lifxtest
+	cd $(BIN_DIR)/Lifxtest; $(JAR) $(JARFLAGS) Lifxtest.jar ../Lifxtest/Lifxtest*.class ../Lifxtest/LightBulb*.class ../iotcode/LifxLightBulb/*.class ../iotcode/interfaces/LightBulb*.class; mkdir tmp; mv Lifxtest.class ./tmp; rm -rf *.class; mv ./tmp/* ./; rm -rf ./tmp
 
 .PHONY: $(PHONY)