blob: bd24aef63915a0fa586a27570d0bff73b38533a4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
|
# Copyright 1999-2022 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
inherit optfeature toolchain-funcs
DESCRIPTION="PACKage Upgradability Problem solver"
HOMEPAGE="https://sat.inesc-id.pt/~mikolas/sw/packup/"
SRC_URI="
https://sat.inesc-id.pt/~mikolas/sw/${PN}/${P}.tgz
https://sat.inesc-id.pt/~mikolas/sw/${PN}/${P}.1
https://sat.inesc-id.pt/~mikolas/sw/${PN}/${P}.1.html
"
LICENSE="GPL-3+"
SLOT="0"
KEYWORDS="~amd64"
DEPEND="
dev-libs/gmp
sys-libs/zlib
"
RDEPEND="
${DEPEND}
sci-mathematics/minisat+
"
PATCHES=(
"${FILESDIR}/${P}-makefile.patch"
"${FILESDIR}/${P}-spelling.patch"
"${FILESDIR}/${P}-c++11.patch"
"${FILESDIR}/${P}-minisat+-invocation.patch"
)
src_compile() {
tc-export CXX
emake all
}
src_install() {
dobin packup
dodoc README.txt
docinto html
dodoc "${DISTDIR}/${P}.1.html"
doman "${DISTDIR}/${P}.1"
insinto /usr/share/cudf/solvers
doins "${FILESDIR}/packup"
}
pkg_postinst() {
optfeature "optional solver minisatp" sci-mathematics/minisatp
}
|
GitWeb
