3 lines
71 B
Makefile
3 lines
71 B
Makefile
OBJS += backends/functional/cxx.o
|
|
OBJS += backends/functional/smtlib.o
|
OBJS += backends/functional/cxx.o
|
|
OBJS += backends/functional/smtlib.o
|