From 8199b3e6855ef82d9bb6a475a8144c28b7356c72 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Thu, 25 Oct 2018 18:33:16 +0200
Subject: [PATCH] tool: support static clang analyzer in build.mk

Issue #3022
---
 tool/builddir/build.mk | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/tool/builddir/build.mk b/tool/builddir/build.mk
index e9a3a917f..8d3cd7d0e 100644
--- a/tool/builddir/build.mk
+++ b/tool/builddir/build.mk
@@ -132,6 +132,13 @@ $(error "$(CUSTOM_CXX) version $(REQUIRED_GCC_VERSION) is required")
 endif
 endif
 
+ifneq ($(STATIC_ANALYZE),)
+check_tool = $(if $(shell which $(1)),,$(error Need to have '$(1)' installed.))
+$(call check_tool,scan-build)
+
+MAKE := scan-build --use-c++=$(CUSTOM_CXX) --use-cc=$(CUSTOM_CC) $(MAKE)
+endif
+
 #
 # Default rule: build all directories specified as make arguments
 #