From e8528f0c182fd410b8ae46df9c8cf45623205891 Mon Sep 17 00:00:00 2001
From: Jan Travnicek <Jan.Travnicek@fit.cvut.cz>
Date: Tue, 8 Aug 2017 17:38:13 +0200
Subject: [PATCH] attempt to fix detection of readline

---
 makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/makefile b/makefile
index cb08be4838..a0ce518d4a 100644
--- a/makefile
+++ b/makefile
@@ -84,7 +84,7 @@ ifneq (0, $(CPPUNIT_EXISTS))
 $(error You need cppunit installed)
 endif
 
-READLINE_EXISTS = $(shell $(CXX) -o /dev/null -lcppunit -xc++ - <<< $$'\#include <readline/readline.h>\nint main() {\nreturn 0;\n}'; echo $$?)
+READLINE_EXISTS = $(shell $(CXX) -o /dev/null -lcppunit -xc++ - <<< $$'\#include <stdio.h>\n\#include <readline/readline.h>\nint main() {\nreturn 0;\n}'; echo $$?)
 ifneq (0, $(READLINE_EXISTS))
 $(error You need readline installed)
 endif
-- 
GitLab