1 2 3 4 5
topdir = ../../.. srcdir = src/theory/uf builddir = $(topdir)/builds/$(srcdir) include $(topdir)/Makefile.subdir