diff --git a/infer/Makefile b/infer/Makefile index 8588bd28c..94f23bec8 100644 --- a/infer/Makefile +++ b/infer/Makefile @@ -6,9 +6,9 @@ MODELS = models SRCDIR = src -.PHONY: clean clang java models +.PHONY: clean clang java llvm models -all: clang java +all: clang java llvm java: make -C $(SRCDIR) java @@ -19,6 +19,9 @@ clang: make -C $(SRCDIR) clang make -C $(MODELS) clang +llvm: + make -C $(SRCDIR) llvm + clean: make -C $(SRCDIR) clean make -C $(MODELS) clean