[gentoo-commits] repo/proj/guru:dev commit in: sci-mathematics/minisat+/

[Anna Vyalkova]

commit:     9a5a10a8e8f2229f3f7c9bcf3af4f8f541ee0ed6
Author:     Anna (cybertailor) Vyalkova <cyber+gentoo <AT> sysrq <DOT> in>
AuthorDate: Sat Jun  4 23:28:45 2022 +0000
Commit:     Anna Vyalkova <cyber+gentoo <AT> sysrq <DOT> in>
CommitDate: Sun Jun  5 06:12:15 2022 +0000
URL:        https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=9a5a10a8

sci-mathematics/minisat+: update HOMEPAGE, SRC_URI

Closes: https://bugs.gentoo.org/842336
Signed-off-by: Anna (cybertailor) Vyalkova <cyber+gentoo <AT> sysrq.in>

 sci-mathematics/minisat+/Manifest                  |  1 +
 ....01.05.ebuild => minisat+-2007.01.05-r1.ebuild} | 24 +++++++++++++---------
 2 files changed, 15 insertions(+), 10 deletions(-)

diff --git a/sci-mathematics/minisat+/Manifest b/sci-mathematics/minisat+/Manifest
index bd6a3947f..a729aa503 100644
--- a/sci-mathematics/minisat+/Manifest
+++ b/sci-mathematics/minisat+/Manifest
@@ -1 +1,2 @@
+DIST MiniSat+.pdf 320302 BLAKE2B d4cfec2ccdd8ae8381ab848427efe3a05157cb0ddd0d47e32b627d276fd2fcdb03e1de7d1741036437a2ccd0af143be1d3cc028ac07844ed14360d8e86b15bb9 SHA512 9d011fab434de2b121c03b88f068d374135e1fd248030a89b0a383b292801734bf7bd8c095d0c70377b7ee4a9c59dbab532eb9c41dc0092606d204b3f39237ed
 DIST minisat+_2007-Jan-05.zip 920081 BLAKE2B 4b133a3c06ffe8539a26c7f39f4734d8115053df299bfcd002e97ea00a104abf326633120371560d71cf2700ed02be8891ef78c185f16b516da818269b1101c9 SHA512 deee0cce2882fad8c175c7ca061d7952a243d00119e8d7fcf9ed0260db874a2e5bb846cb9513aa43163735406aebf5cd8ac01000621e2db37da0dc5d5de3854d

diff --git a/sci-mathematics/minisat+/minisat+-2007.01.05.ebuild b/sci-mathematics/minisat+/minisat+-2007.01.05-r1.ebuild
similarity index 58%
rename from sci-mathematics/minisat+/minisat+-2007.01.05.ebuild
rename to sci-mathematics/minisat+/minisat+-2007.01.05-r1.ebuild
index b97a3b908..f6d9dff0e 100644
--- a/sci-mathematics/minisat+/minisat+-2007.01.05.ebuild
+++ b/sci-mathematics/minisat+/minisat+-2007.01.05-r1.ebuild
@@ -3,24 +3,26 @@
 
 EAPI=8
 
-MYPV="${PV/.01./-Jan-}"
-MYP="${PN}_${MYPV}"
-
 inherit toolchain-funcs
 
+COMMIT="e9dcbabbf5399d16ed4b09250307d1165a341160"
 DESCRIPTION="solver for pseudo-Boolean constraints"
-HOMEPAGE="https://minisat.se/MiniSat+.html"
-SRC_URI="https://minisat.se/downloads/${MYP}.zip"
+HOMEPAGE="http://minisat.se/MiniSat+.html"
+DOWNLOADS_URI="https://github.com/niklasso/minisat-webpage/raw/${COMMIT}/downloads"
+SRC_URI="
+	${DOWNLOADS_URI}/${PN}_${PV/.01./-Jan-}.zip
+	doc? ( ${DOWNLOADS_URI}/MiniSat+.pdf )
+"
 S="${WORKDIR}/${PN}"
 
 LICENSE="MIT"
 SLOT="0"
 KEYWORDS="~amd64"
-IUSE="bignum"
+IUSE="bignum doc"
 
 RDEPEND="
-	bignum? ( dev-libs/gmp )
-	sys-libs/zlib
+	bignum? ( dev-libs/gmp:= )
+	sys-libs/zlib:=
 "
 DEPEND="${RDEPEND}"
 BDEPEND="app-arch/unzip"
@@ -39,12 +41,14 @@ src_compile() {
 }
 
 src_install() {
+	use doc && dodoc "${DISTDIR}"/MiniSat+.pdf
 	dodoc -r Examples
+
 	dobin minisat+_64-bit
 	use bignum && dobin minisat+_bignum
 	if use bignum; then
-		dosym ./minisat+_bignum "${EPREFIX}/usr/bin/minisat+"
+		dosym ./minisat+_bignum usr/bin/minisat+
 	else
-		dosym ./minisat+_64-bit "${EPREFIX}/usr/bin/minisat+"
+		dosym ./minisat+_64-bit /usr/bin/minisat+
 	fi
 }