From cd15e211b77cd4a79cbe99428e03654d22881dc4 Mon Sep 17 00:00:00 2001 From: Alain Dargelas Date: Mon, 25 Nov 2024 19:37:26 -0800 Subject: [PATCH] Makefile --- Makefile | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/Makefile b/Makefile index f2c17d632..2a5b9ee83 100644 --- a/Makefile +++ b/Makefile @@ -516,9 +516,6 @@ ifneq ($(wildcard $(VERIFIC_DIR)/hier_tree),) VERIFIC_COMPONENTS += hier_tree endif endif -ifeq ($(VERIFIC_LINEFILE_INCLUDES_LOOPS),1) -CXXFLAGS += -DVERIFIC_LINEFILE_INCLUDES_LOOPS -endif ifeq ($(ENABLE_VERIFIC_SYSTEMVERILOG),1) VERIFIC_COMPONENTS += verilog CXXFLAGS += -DVERIFIC_SYSTEMVERILOG_SUPPORT @@ -752,6 +749,7 @@ OBJS += passes/cmds/tee.o OBJS += passes/cmds/activity.o OBJS += passes/cmds/splitnetlist.o OBJS += passes/cmds/reconstructbusses.o +OBJS += passes/cmds/longloop_select.o OBJS += passes/sat/sim.o OBJS += passes/techmap/bufnorm.o