topdir = ../..
srcdir = src/proof

include $(topdir)/Makefile.subdir