X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=benchmarks%2FJava%2FSpeakerController%2FMakefile;h=8903728997673c9ada41a802eaa4f4d2b7a149b0;hb=aaa765a192fdcd2aaa05fb6b276424652578d0e8;hp=61459c0d230539d7292777602bb90b26b6f0bbbd;hpb=7a119d4b8c8f39801afb6a2de46682715cedf289;p=iot2.git

diff --git a/benchmarks/Java/SpeakerController/Makefile b/benchmarks/Java/SpeakerController/Makefile
index 61459c0..8903728 100644
--- a/benchmarks/Java/SpeakerController/Makefile
+++ b/benchmarks/Java/SpeakerController/Makefile
@@ -7,16 +7,34 @@ BOOFJARS := $(BOOFDIR)/BoofCV-feature-0.21.jar:$(BOOFDIR)/BoofCV-io-0.21.jar:$(B
 JLAYERDIR := ../../libs/jlayer_libs
 JLAYERJARS := $(JLAYERDIR)/jl1.0.1.jar
 
-JFLAGS = -d $(BIN_DIR) -cp $(BOOFJARS):$(BIN_DIR):.:$(JLAYERJARS)
+JFLAGS = -d $(BIN_DIR) -cp $(BOOFJARS):$(BIN_DIR):.:$(JLAYERJARS):$(CHECKERJARS)
 JARFLAGS = cf 
 
+# checker option
+#
+CHECKER_OPT = -processor iotchecker.IoTJavaChecker -AprintErrorStack
+
+ASTUBS = -Astubs=../../../checker/astubs/ 
+
 all: speaker
 
+check-all: check-speaker
+
 PHONY += speaker
 speaker:
 	$(JAVAC) $(JFLAGS) *.java
 	cd  $(BIN_DIR)/SpeakerController; $(JAR) $(JARFLAGS) SpeakerController.jar ../SpeakerController/*.class ../iotcode/interfaces/*.class
 	cp SpeakerController.config $(BIN_DIR)/SpeakerController
+	cp SpeakerController.tomoyo $(BIN_DIR)/SpeakerController
+	zip -r SpeakerController.zip ./music
+	mv SpeakerController.zip $(BIN_DIR)/SpeakerController
+
+PHONY += check-speaker
+check-speaker:
+	$(JAVAC) $(JFLAGS) $(CHECKER_OPT) $(ASTUBS) *.java
+	cd  $(BIN_DIR)/SpeakerController; $(JAR) $(JARFLAGS) SpeakerController.jar ../SpeakerController/*.class ../iotcode/interfaces/*.class
+	cp SpeakerController.config $(BIN_DIR)/SpeakerController
+	cp SpeakerController.tomoyo $(BIN_DIR)/SpeakerController
 	zip -r SpeakerController.zip ./music
 	mv SpeakerController.zip $(BIN_DIR)/SpeakerController