mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-04-07 03:10:15 -04:00
Code Issues Packages Projects Releases Wiki Activity

sci-mathematics/minisat+: update HOMEPAGE, SRC_URI

Browse Source 
Closes: https://bugs.gentoo.org/842336
Signed-off-by: Anna (cybertailor) Vyalkova <cyber+gentoo@sysrq.in>
This commit is contained in:
Anna (cybertailor) Vyalkova
2022-06-05 04:28:45 +05:00
parent 1a3c31fcd9
commit 9a5a10a8e8
2 changed files with 15 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
sci-mathematics/minisat+/Manifest
View File

@@ -1 +1,2 @@
DIST MiniSat+.pdf 320302 BLAKE2B d4cfec2ccdd8ae8381ab848427efe3a05157cb0ddd0d47e32b627d276fd2fcdb03e1de7d1741036437a2ccd0af143be1d3cc028ac07844ed14360d8e86b15bb9 SHA512 9d011fab434de2b121c03b88f068d374135e1fd248030a89b0a383b292801734bf7bd8c095d0c70377b7ee4a9c59dbab532eb9c41dc0092606d204b3f39237ed
DIST minisat+_2007-Jan-05.zip 920081 BLAKE2B 4b133a3c06ffe8539a26c7f39f4734d8115053df299bfcd002e97ea00a104abf326633120371560d71cf2700ed02be8891ef78c185f16b516da818269b1101c9 SHA512 deee0cce2882fad8c175c7ca061d7952a243d00119e8d7fcf9ed0260db874a2e5bb846cb9513aa43163735406aebf5cd8ac01000621e2db37da0dc5d5de3854d

24
sci-mathematics/minisat+/minisat+-2007.01.05.ebuild → sci-mathematics/minisat+/minisat+-2007.01.05-r1.ebuild
View File

@@ -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
}