From 0a242f87b842fff77f1c377609fc354312c9a6a5 Mon Sep 17 00:00:00 2001 From: Alain Dargelas Date: Mon, 6 Jan 2025 11:07:39 -0800 Subject: [PATCH] Enable Formal --- Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/Makefile b/Makefile index d43620f16..ecdac8e53 100644 --- a/Makefile +++ b/Makefile @@ -709,6 +709,7 @@ include $(YOSYS_SRC)/frontends/ast/Makefile.inc include $(YOSYS_SRC)/frontends/blif/Makefile.inc include $(YOSYS_SRC)/frontends/liberty/Makefile.inc +include $(YOSYS_SRC)/passes/equiv/Makefile.inc OBJS += passes/cmds/select.o OBJS += passes/cmds/show.o