1 files changed, 8 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index f2171c8af..e67070b73 100644
--- a/Makefile
+++ b/Makefile
@@ -82,6 +82,10 @@ ABCREV = ae7d65e71adc
 ABCPULL = 1
 ABCMKARGS = CC="$(CXX)" CXX="$(CXX)"
 
+# set ABCEXTERNAL = "abc-command" to use an external ABC instance
+# Note: The in-tree ABC (yosys-abc) will not be installed when ABCEXTERNAL is set.
+ABCEXTERNAL =
+
 define newline
 
 
@@ -204,7 +208,11 @@ endif
 
 ifeq ($(ENABLE_ABC),1)
 CXXFLAGS += -DYOSYS_ENABLE_ABC
+ifeq ($(ABCEXTERNAL),)
 TARGETS += yosys-abc$(EXE)
+else
+CXXFLAGS += -DYOSYS_ABC_EXE=\"$(ABCEXTERNAL)\"
+endif
 endif
 
 ifeq ($(ENABLE_VERIFIC),1)