Check for required tools on 'make prepare'

Fixes #221.
2012-05-25 12:13:05 +02:00
parent 06fdc7b897
commit 36ae42b8ff
17 changed files with 127 additions and 5 deletions
--- a/base-codezero/Makefile
+++ b/base-codezero/Makefile
@@ -11,6 +11,14 @@ GIT_REV     = 6fa4884a5a1cf6207372f69ae01e5faa6d5a39c8
 CONTRIB_DIR = contrib
 PATCHES     = $(shell find patches -name *.patch)

+#
+# Utility to check if a tool is installed
+#
+check_tool = $(if $(shell which $(1)),,$(error Need to have '$(1)' installed.))
+
+$(call check_tool,git)
+$(call check_tool,patch)
+
 #
 # Print help information by default
 #