From 0d5aa5bb77589d0e55bea9cde0f6c49d45e16758 Mon Sep 17 00:00:00 2001 From: Akash Levy Date: Mon, 14 Oct 2024 09:57:56 -0700 Subject: [PATCH] Update Makefile to include sat --- Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/Makefile b/Makefile index d46ff6208..2f555a797 100644 --- a/Makefile +++ b/Makefile @@ -730,6 +730,7 @@ OBJS += passes/cmds/splitcells.o OBJS += passes/cmds/splitfanout.o OBJS += passes/cmds/splitnets.o OBJS += passes/cmds/tee.o +OBJS += passes/sat/sim.o include $(YOSYS_SRC)/passes/hierarchy/Makefile.inc include $(YOSYS_SRC)/passes/memory/Makefile.inc