diff --git a/Makefile b/Makefile
index b1ff267fc..d58909157 100644
--- a/Makefile
+++ b/Makefile
@@ -743,6 +743,7 @@ OBJS += passes/cmds/splitnets.o
 OBJS += passes/cmds/activity.o
 OBJS += passes/cmds/tee.o
 OBJS += passes/sat/sim.o
+OBJS += passes/sat/activity.o
 
 include $(YOSYS_SRC)/passes/hierarchy/Makefile.inc
 include $(YOSYS_SRC)/passes/memory/Makefile.inc