3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-05-16 20:24:46 +00:00
This commit is contained in:
Akash Levy 2024-07-02 17:36:41 -07:00
parent fcd073ab51
commit e22cded6d4

View file

@ -479,7 +479,7 @@ endif
LIBS_VERIFIC =
ifeq ($(ENABLE_VERIFIC),1)
VERIFIC_DIR ?= ./verific
VERIFIC_COMPONENTS ?= verilog database util containers hier_tree hdl_file_sort
VERIFIC_COMPONENTS ?= database util containers hdl_file_sort
ifeq ($(ENABLE_VERIFIC_HIER_TREE),1)
VERIFIC_COMPONENTS += hier_tree
CXXFLAGS += -DVERIFIC_HIER_TREE_SUPPORT