From f0ec1adcd316103d8000e3adce12225d3bb1ded6 Mon Sep 17 00:00:00 2001
From: Stefan Kalkowski <stefan.kalkowski@genode-labs.com>
Date: Mon, 13 May 2024 15:50:04 +0200
Subject: [PATCH] base: add check_tool utility to build system

Fix genodelabs/genode#5213
---
 repos/base/mk/util.inc | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/repos/base/mk/util.inc b/repos/base/mk/util.inc
index 817f60bac5..affbd4d7c4 100644
--- a/repos/base/mk/util.inc
+++ b/repos/base/mk/util.inc
@@ -69,3 +69,8 @@ select_from_ports = $(call _checked_port_dir,$1)
 else
 select_from_ports = $(REP_DIR)
 endif
+
+#
+# Utility to check for availability of a tool
+#
+check_tool = $(if $(shell command -v $(1)),,$(error Need to have '$(1)' installed.))