yosys/backends/functional/Makefile.inc

5 lines
159 B
PHP
Raw Permalink Normal View History

OBJS += backends/functional/cxx.o
OBJS += backends/functional/smtlib.o
2024-08-22 16:05:44 -05:00
OBJS += backends/functional/smtlib_rosette.o
OBJS += backends/functional/test_generic.o