From d33df7ed518c7f35b423b6d0890cbfed1da4b658 Mon Sep 17 00:00:00 2001
From: Reto Buerki <reet@codelabs.ch>
Date: Thu, 28 Nov 2013 09:37:55 +0100
Subject: [PATCH] charon-tkm: Abort if gprbuild binary is not found

---
 configure.ac | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/configure.ac b/configure.ac
index a3fb71274..34836d6b6 100644
--- a/configure.ac
+++ b/configure.ac
@@ -939,6 +939,9 @@ CFLAGS="$CFLAGS -include `pwd`/config.h"
 
 if test x$tkm = xtrue; then
 	AC_PATH_PROG([GPRBUILD], [gprbuild], [], [$PATH:/bin:/usr/bin:/usr/local/bin])
+	if test x$GPRBUILD = x; then
+		AC_MSG_ERROR([gprbuild not found])
+	fi
 fi
 
 if test x$coverage = xtrue; then