diff options
Diffstat (limited to 'sci-mathematics/minisat/minisat-2.2.1.ebuild')
-rw-r--r-- | sci-mathematics/minisat/minisat-2.2.1.ebuild | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/sci-mathematics/minisat/minisat-2.2.1.ebuild b/sci-mathematics/minisat/minisat-2.2.1.ebuild new file mode 100644 index 000000000000..360c5a33082b --- /dev/null +++ b/sci-mathematics/minisat/minisat-2.2.1.ebuild @@ -0,0 +1,29 @@ +# Copyright 1999-2021 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit cmake + +DESCRIPTION="Small yet efficient SAT solver with reference paper" +HOMEPAGE="http://minisat.se/Main.html" +SRC_URI="https://github.com/stp/${PN}/archive/releases/${PV}.tar.gz -> ${P}.tar.gz + doc? ( http://minisat.se/downloads/MiniSat.pdf )" +S="${WORKDIR}/${PN}-releases-${PV}" + +SLOT="0/${PV}" +KEYWORDS="~amd64 ~x86" +LICENSE="MIT" +IUSE="doc" + +RDEPEND="sys-libs/zlib:=" +DEPEND="${RDEPEND}" + +src_install() { + cmake_src_install + + mv "${D}"/usr/lib "${D}"/usr/$(get_libdir) || die + dosym libminisat.a /usr/$(get_libdir)/libMiniSat.a + + use doc && dodoc "${DISTDIR}"/MiniSat.pdf +} |