5 lines
159 B
Makefile
5 lines
159 B
Makefile
OBJS += backends/functional/cxx.o
|
|
OBJS += backends/functional/smtlib.o
|
|
OBJS += backends/functional/smtlib_rosette.o
|
|
OBJS += backends/functional/test_generic.o
|