Adding Java Checker Framework checker option in the makefiles; basically this is...

[iot2.git] / benchmarks / Java / SpeakerController / Makefile

diff --git a/benchmarks/Java/SpeakerController/Makefile b/benchmarks/Java/SpeakerController/Makefile
index 61459c0d230539d7292777602bb90b26b6f0bbbd..90dc1a7010c2d078f6f7d6d46d8cf1d69e1e52fa 100644 (file)
--- a/benchmarks/Java/SpeakerController/Makefile
+++ b/benchmarks/Java/SpeakerController/Makefile
@@ -7,11 +7,19 @@ 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
@@ -20,4 +28,12 @@ speaker:
        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
+       zip -r SpeakerController.zip ./music
+       mv SpeakerController.zip $(BIN_DIR)/SpeakerController
+
 .PHONY: $(PHONY)