X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=checker%2FMakefile;fp=checker%2FMakefile;h=e2e429cc3f1934fb7888703107dcc435b6be64c3;hb=a99d50d868530e84939490bae959dccfbd4416c0;hp=0000000000000000000000000000000000000000;hpb=444d4feeb2003024a99d85ccefdbca5222103cf2;p=iot2.git diff --git a/checker/Makefile b/checker/Makefile new file mode 100644 index 0000000..e2e429c --- /dev/null +++ b/checker/Makefile @@ -0,0 +1,13 @@ +BASE := .. + +include $(BASE)/common.mk + +all: checker + +PHONY += checker + +checker: + $(JAVAC) -d $(BASE)/bin -classpath .:$(BASE)/bin:$(CHECKERJARS) iotchecker/*.java + cp iotchecker/messages.properties $(BASE)/bin/iotchecker + +.PHONY: $(PHONY)