From 2656b2c55a139bc158cb67b18dd201bd0f4cf0c6 Mon Sep 17 00:00:00 2001 From: Sergey Kvachonok Date: Sat, 19 Mar 2016 18:36:18 +0300 Subject: Support calling out to an external ABC. $ make ABCEXTERNAL=my-abc && make ABCEXTERNAL=my-abc install configures yosys to use an external ABC executable instead of building and installing the in-tree ABC copy (yosys-abc). --- Makefile | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'Makefile') 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) -- cgit v1.2.3