topdir = ../..
srcdir = src/theory
builddir = $(topdir)/$(builds)/$(srcdir)

include $(topdir)/Makefile.subdir