From 892ab99f4049aa423e7e74beb3ee9017cd7be2f1 Mon Sep 17 00:00:00 2001 From: Akash Levy Date: Fri, 18 Apr 2025 11:40:52 -0700 Subject: [PATCH] Disable libedit --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 53f044205..dfb12b12a 100644 --- a/Makefile +++ b/Makefile @@ -12,7 +12,7 @@ ENABLE_ABC := 1 ENABLE_GLOB := 1 ENABLE_PLUGINS := 0 ENABLE_READLINE := 0 -ENABLE_EDITLINE := 1 +ENABLE_EDITLINE := 0 ENABLE_GHDL := 0 ENABLE_SLANG := 0 ENABLE_VERIFIC := 1