Merge branch 'yosys-0.5-vtr' of https://github.com/eddiehung/yosys into eddiehung-vtr
[yosys.git] / backends / smv / Makefile.inc
1
2 OBJS += backends/smv/smv.o
3