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

---
 Makefile | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index eb8f0f594..924fd88b7 100644
--- a/Makefile
+++ b/Makefile
@@ -11,6 +11,7 @@ ENABLE_TCL := 1
 ENABLE_ABC := 1
 ENABLE_PLUGINS := 1
 ENABLE_READLINE := 1
+ENABLE_EDITLINE := 0
 ENABLE_VERIFIC := 0
 ENABLE_COVER := 1
 ENABLE_LIBYOSYS := 0
@@ -226,6 +227,11 @@ endif
 ifeq ($(CONFIG),mxe)
 LDLIBS += -ltermcap
 endif
+else
+ifeq ($(ENABLE_EDITLINE),1)
+CXXFLAGS += -DYOSYS_ENABLE_EDITLINE
+LDLIBS += -ledit -ltinfo -lbsd
+endif
 endif
 
 ifeq ($(ENABLE_PLUGINS),1)
-- 
cgit v1.2.3