RDEPEND="${DEPEND}"
DOCS=( README doc/ReleaseNotes-2.2.0.txt )
PATCHES=( "${FILESDIR}"/${P}-header_fix.patch )
PATCHES=( "${FILESDIR}"/${P}-header_fix.patch "${FILESDIR}"/${P}-remove-Main.o-from-libminisat.a.patch )
S=${WORKDIR}/${PN}