topdir = ../../..
srcdir = src/parser/smt

include $(topdir)/Makefile.subdir
