Merge pull request #4754 from akashlevy/editline-fixes

Fix `editline` Makefile
YosysHQ · Nov 18, 2024 · bd40805 · bd40805
2 parents 532d599 + 47a2a09
commit bd40805
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/Makefile b/Makefile
@@ -398,10 +398,9 @@ endif
 else
 ifeq ($(ENABLE_EDITLINE),1)
 CXXFLAGS += -DYOSYS_ENABLE_EDITLINE
-LIBS += -ledit -ltinfo -lbsd
-else
-ABCMKARGS += "ABC_USE_NO_READLINE=1"
+LIBS += -ledit
 endif
+ABCMKARGS += "ABC_USE_NO_READLINE=1"
 endif
 
 ifeq ($(DISABLE_ABC_THREADS),1)