From 93f79299a5138c966512f9ed2d140f16b1735b70 Mon Sep 17 00:00:00 2001
From: Robert Ou <rqou@robertou.com>
Date: Fri, 18 May 2018 22:42:24 -0700
Subject: Add options to disable abc's usage of pthreads and readline

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

diff --git a/Makefile b/Makefile
index cc42f82d6..b664cafc4 100644
--- a/Makefile
+++ b/Makefile
@@ -23,6 +23,8 @@ ENABLE_NDEBUG := 0
 LINK_CURSES := 0
 LINK_TERMCAP := 0
 LINK_ABC := 0
+# Needed for environments that don't have proper thread support (i.e. emscripten)
+DISABLE_ABC_THREADS := 0
 
 # clang sanitizers
 SANITIZER =
@@ -241,7 +243,13 @@ else
 ifeq ($(ENABLE_EDITLINE),1)
 CXXFLAGS += -DYOSYS_ENABLE_EDITLINE
 LDLIBS += -ledit -ltinfo -lbsd
+else
+ABCMKARGS += "ABC_USE_NO_READLINE=1"
+endif
 endif
+
+ifeq ($(DISABLE_ABC_THREADS),1)
+ABCMKARGS += "ABC_USE_NO_PTHREADS=1"
 endif
 
 ifeq ($(ENABLE_PLUGINS),1)
@@ -295,7 +303,9 @@ ifeq ($(ENABLE_ABC),1)
 CXXFLAGS += -DYOSYS_ENABLE_ABC
 ifeq ($(LINK_ABC),1)
 CXXFLAGS += -DYOSYS_LINK_ABC
+ifeq ($(DISABLE_ABC_THREADS),0)
 LDLIBS += -lpthread
+endif
 else
 ifeq ($(ABCEXTERNAL),)
 TARGETS += yosys-abc$(EXE)
-- 
cgit v1.2.3