mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-05-13 18:54:44 +00:00
Code Activity

Enable Formal

Browse source
This commit is contained in:
Alain Dargelas 2025-01-06 11:07:39 -08:00
parent bd3eedd570
commit 0a242f87b8
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
Makefile
View file

@ -709,6 +709,7 @@ include $(YOSYS_SRC)/frontends/ast/Makefile.inc
include $(YOSYS_SRC)/frontends/blif/Makefile.inc include $(YOSYS_SRC)/frontends/blif/Makefile.inc
include $(YOSYS_SRC)/frontends/liberty/Makefile.inc include $(YOSYS_SRC)/frontends/liberty/Makefile.inc
include $(YOSYS_SRC)/passes/equiv/Makefile.inc
OBJS += passes/cmds/select.o OBJS += passes/cmds/select.o
OBJS += passes/cmds/show.o OBJS += passes/cmds/show.o