From 9ae25039fb6e28db639372d67c1b72c4170feaa3 Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Wed, 8 Nov 2017 02:54:24 +0100
Subject: Add support for editline as replacement for readline

---
 passes/cmds/show.cc | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'passes')

diff --git a/passes/cmds/show.cc b/passes/cmds/show.cc
index 3a3939a81..02624cf30 100644
--- a/passes/cmds/show.cc
+++ b/passes/cmds/show.cc
@@ -30,6 +30,10 @@
 #  include <readline/readline.h>
 #endif
 
+#ifdef YOSYS_ENABLE_EDITLINE
+#  include <editline/readline.h>
+#endif
+
 USING_YOSYS_NAMESPACE
 PRIVATE_NAMESPACE_BEGIN
 
-- 
cgit v1.2.3