diff options
author | Sergey Kvachonok <ravenexp@gmail.com> | 2016-03-19 18:36:18 +0300 |
---|---|---|
committer | Sergey Kvachonok <ravenexp@gmail.com> | 2016-03-19 18:36:18 +0300 |
commit | 2656b2c55a139bc158cb67b18dd201bd0f4cf0c6 (patch) | |
tree | e9dfd0f7049cfc7be7593a3a12a4cf2c06d5eb75 /Makefile | |
parent | e5d42ebb4d921aa9b9ad952b063f6ca2e3ffd9db (diff) | |
download | yosys-2656b2c55a139bc158cb67b18dd201bd0f4cf0c6.tar.gz yosys-2656b2c55a139bc158cb67b18dd201bd0f4cf0c6.tar.bz2 yosys-2656b2c55a139bc158cb67b18dd201bd0f4cf0c6.zip |
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).
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -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) |