From 9fc093c9e0a3e51676685cbd1b4019150953ccf9 Mon Sep 17 00:00:00 2001
From: Niels Lohmann <mail@nlohmann.me>
Date: Mon, 18 Mar 2019 00:19:28 +0100
Subject: [PATCH] :construction_worker: added targets for infer and oclint

---
 Makefile | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/Makefile b/Makefile
index 7d7ce5f6..086b07f1 100644
--- a/Makefile
+++ b/Makefile
@@ -466,6 +466,15 @@ pvs_studio:
 	cd pvs_studio_build ; plog-converter -a'GA:1,2;64:1;CS' -t fullhtml PVS-Studio.log -o pvs
 	open pvs_studio_build/pvs/index.html
 
+infer:
+	rm -fr infer_build
+	mkdir infer_build
+	cd infer_build ; infer compile -- cmake .. ; infer run -- make -j 4
+
+oclint:
+	oclint $(SRCS) -report-type html -enable-global-analysis -o oclint_report.html -max-priority-1=10000 -max-priority-2=10000 -max-priority-3=10000 -- -std=c++11 -Iinclude
+	open oclint_report.html
+
 ##########################################################################
 # maintainer targets
 ##########################################################################