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