aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'sci-mathematics')
-rw-r--r--sci-mathematics/minisat+/Manifest1
-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 bd6a3947f5..a729aa5030 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 b97a3b908b..f6d9dff0e4 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
}