benchmarks/original_interfaces/Makefile

   1 BASE = ../..
   2
   3 include $(BASE)/common.mk
   4
   5 JFLAGS = -d $(BIN_DIR) -cp $(BIN_DIR):$(CHECKERJARS):.
   6
   7 # checker option
   8 #
   9 CHECKER_OPT = -processor iotchecker.IoTJavaChecker
  10
  11 ASTUBS = -Astubs=../../checker/astubs/
  12
  13 all: check
  14
  15 PHONY += check
  16 check:
  17         $(JAVAC) $(JFLAGS) $(CHECKER_OPT) $(ASTUBS) *.java
  18
  19 PHONY += nocheck
  20 nocheck:
  21         $(JAVAC) $(JFLAGS) *.java
  22
  23 .PHONY: $(PHONY)