[patch] Patch to minisat-2.2.0-r4.ebuild

minisat-2.2.0-r4.ebuild.patch (text/plain), 416 bytes, created by Jiří Moravec on 2018-10-07 16:45:15 UTC

--- minisat-2.2.0-r4.ebuild~	2017-06-21 21:16:59.051451776 +0200
+++ minisat-2.2.0-r4.ebuild	2018-10-07 18:09:33.241031741 +0200
@@ -20,7 +20,7 @@ DEPEND="sys-libs/zlib"
 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}