topdir = ../../..
srcdir = src/prop/minisat

include $(topdir)/Makefile.subdir