diff options
| author |   Anna (cybertailor) Vyalkova <cyber+gentoo@sysrq.in> | 2022-06-05 04:28:45 +0500 |
|---|---|---|
| committer | Anna (cybertailor) Vyalkova <cyber+gentoo@sysrq.in> | 2022-06-05 11:12:15 +0500 |
| commit | 9a5a10a8e8f2229f3f7c9bcf3af4f8f541ee0ed6 (patch) | |
| tree | 584312ea2066d4e8e3a4f216d7f0b5bc96c5f5b4 /sci-mathematics | |
| parent | dev-python/pip-api: fix tests (diff) | |
| download | guru-9a5a10a8e8f2229f3f7c9bcf3af4f8f541ee0ed6.tar.gz guru-9a5a10a8e8f2229f3f7c9bcf3af4f8f541ee0ed6.tar.bz2 guru-9a5a10a8e8f2229f3f7c9bcf3af4f8f541ee0ed6.zip | |
sci-mathematics/minisat+: update HOMEPAGE, SRC_URI
Closes: https://bugs.gentoo.org/842336
Signed-off-by: Anna (cybertailor) Vyalkova <cyber+gentoo@sysrq.in>
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/minisat+/Manifest | 1 | ||||
| -rw-r--r-- | sci-mathematics/minisat+/minisat+-2007.01.05-r1.ebuild (renamed from sci-mathematics/minisat+/minisat+-2007.01.05.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 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 } |