commit: 5eda6c0e3cd443dfa5cae9320910d4c65547affa Author: Gerhard Bräunlich <wippbox <AT> gmx <DOT> net> AuthorDate: Thu Sep 8 15:10:10 2016 +0000 Commit: David Seifert <soap <AT> gentoo <DOT> org> CommitDate: Thu Sep 8 22:07:42 2016 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5eda6c0e
sci-mathematics/minisat: revbump (EAPI 2 -> 6) Package-Manager: portage-2.2.28 Closes: https://github.com/gentoo/gentoo/pull/2279 Signed-off-by: David Seifert <soap <AT> gentoo.org> sci-mathematics/minisat/minisat-2.2.0-r4.ebuild | 66 +++++++++++++++++++++++++ 1 file changed, 66 insertions(+) diff --git a/sci-mathematics/minisat/minisat-2.2.0-r4.ebuild b/sci-mathematics/minisat/minisat-2.2.0-r4.ebuild new file mode 100644 index 00000000..20c5ee3 --- /dev/null +++ b/sci-mathematics/minisat/minisat-2.2.0-r4.ebuild @@ -0,0 +1,66 @@ +# Copyright 1999-2016 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 +# $Id$ + +EAPI=6 + +inherit toolchain-funcs + +DESCRIPTION="Small yet efficient SAT solver with reference paper" +HOMEPAGE="http://minisat.se/Main.html"; +SRC_URI="http://minisat.se/downloads/${P}.tar.gz + doc? ( http://minisat.se/downloads/MiniSat.pdf )" + +SLOT="0" +KEYWORDS="~amd64 ~x86 ~amd64-linux ~x86-linux" +LICENSE="MIT" + +IUSE="debug doc extended-solver" + +DEPEND="sys-libs/zlib" +RDEPEND="${DEPEND}" + +DOCS=( README doc/ReleaseNotes-2.2.0.txt ) +PATCHES=( "${FILESDIR}"/${P}-header_fix.patch ) + +S=${WORKDIR}/${PN} + +src_prepare() { + default + sed -e "s/\$(CXX) \$^/\$(CXX) \$(LDFLAGS) \$^/" \ + -i -e "s|-O3|${CFLAGS}|" mtl/template.mk || die +} + +src_configure() { + myconf=$(usex debug d r) + myext=$(usex debug debug release) + mydir=$(usex extended-solver simp core) + + tc-export CXX +} + +src_compile() { + export MROOT="${S}" + emake -C ${mydir} ${myconf} + LIB="${PN}" emake -C ${mydir} lib${myconf} +} + +src_install() { + insinto /usr/include/${PN}2/mtl + doins mtl/*.h + + insinto /usr/include/${PN}2/core + doins core/Solver*.h + + insinto /usr/include/${PN}2/simp + doins simp/Simp*.h + + insinto /usr/include/${PN}2/utils + doins utils/*.h + + newbin ${mydir}/${PN}_${myext} ${PN} + newlib.a ${mydir}/lib${PN}_${myext}.a lib${PN}.a + + use doc && DOCS+=( "${DISTDIR}"/MiniSat.pdf ) + einstalldocs +}
