Merge pull request #1031 from mdaiter/optimizeLookupTableBtor
[yosys.git] / passes / opt / Makefile.inc
1
2 OBJS += passes/opt/opt.o
3 OBJS += passes/opt/opt_merge.o
4 OBJS += passes/opt/opt_muxtree.o
5 OBJS += passes/opt/opt_reduce.o
6 OBJS += passes/opt/opt_rmdff.o
7 OBJS += passes/opt/opt_clean.o
8 OBJS += passes/opt/opt_expr.o
9
10 ifneq ($(SMALL),1)
11 OBJS += passes/opt/share.o
12 OBJS += passes/opt/wreduce.o
13 OBJS += passes/opt/opt_demorgan.o
14 OBJS += passes/opt/rmports.o
15 OBJS += passes/opt/opt_lut.o
16 OBJS += passes/opt/pmux2shiftx.o
17 endif
18