topdir = ../..
srcdir = src/theory

include $(topdir)/Makefile.subdir