mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-24 01:25:33 +00:00
Code Activity

Support calling out to an external ABC.

Browse source 
$ 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).
This commit is contained in:
Sergey Kvachonok 2016-03-19 18:36:18 +03:00
parent e5d42ebb4d
commit 2656b2c55a
2 changed files with 16 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

8
Makefile
View file

@ -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)