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

include $(topdir)/Makefile.subdir