From e22cded6d451e5976c9b868098ba515113dc6674 Mon Sep 17 00:00:00 2001 From: Akash Levy Date: Tue, 2 Jul 2024 17:36:41 -0700 Subject: [PATCH] Fix --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 04844f794..4f2bb512a 100644 --- a/Makefile +++ b/Makefile @@ -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