topdir = ../../..
srcdir = src/prop/bvminisat

include $(topdir)/Makefile.subdir