# # Makefile for the SMT API Library. # obj-y += smt.o