Merge branch 'xc7dsp' of github.com:YosysHQ/yosys into xc7dsp
[yosys.git] / backends / smv / Makefile.inc
1
2 OBJS += backends/smv/smv.o
3