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