1 |
commit: 05e884516faad612fa7a11f04c553d6469ec2db1 |
2 |
Author: Jeffrey Lin <jeffrey <AT> icurse <DOT> nl> |
3 |
AuthorDate: Sat Aug 22 21:32:25 2020 +0000 |
4 |
Commit: Joonas Niilola <juippis <AT> gentoo <DOT> org> |
5 |
CommitDate: Wed Sep 16 08:04:11 2020 +0000 |
6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=05e88451 |
7 |
|
8 |
dev-libs/stp: declare boost as dependency |
9 |
|
10 |
Also remove static flag as that requires (boost and) minisat with |
11 |
static-libs, which isn't packaged. |
12 |
|
13 |
Closes: https://bugs.gentoo.org/699630 |
14 |
Package-Manager: Portage-3.0.4, Repoman-3.0.0 |
15 |
Signed-off-by: Jeffrey Lin <jeffrey <AT> icurse.nl> |
16 |
Closes: https://github.com/gentoo/gentoo/pull/17218 |
17 |
Signed-off-by: Joonas Niilola <juippis <AT> gentoo.org> |
18 |
|
19 |
dev-libs/stp/stp-2.3.3.ebuild | 4 ++-- |
20 |
1 file changed, 2 insertions(+), 2 deletions(-) |
21 |
|
22 |
diff --git a/dev-libs/stp/stp-2.3.3.ebuild b/dev-libs/stp/stp-2.3.3.ebuild |
23 |
index 69e3d1b92d7..c88151911ba 100644 |
24 |
--- a/dev-libs/stp/stp-2.3.3.ebuild |
25 |
+++ b/dev-libs/stp/stp-2.3.3.ebuild |
26 |
@@ -11,10 +11,11 @@ SRC_URI="https://github.com/stp/${PN}/archive/${PV}.tar.gz -> ${P}.tar.gz" |
27 |
LICENSE="GPL-2+ MIT" |
28 |
SLOT="0" |
29 |
KEYWORDS="~amd64 ~x86" |
30 |
-IUSE="python static test" |
31 |
+IUSE="python test" |
32 |
RESTRICT="!test? ( test )" |
33 |
|
34 |
DEPEND=" |
35 |
+ dev-libs/boost:= |
36 |
sci-mathematics/minisat |
37 |
" |
38 |
RDEPEND="${DEPEND}" |
39 |
@@ -31,7 +32,6 @@ src_configure() { |
40 |
-DENABLE_ASSERTIONS="$(usex test)" |
41 |
-DENABLE_TESTING="$(usex test)" |
42 |
-DENABLE_PYTHON_INTERFACE="$(usex python)" |
43 |
- -DSTATICCOMPILE="$(usex static)" |
44 |
) |
45 |
cmake_src_configure |
46 |
} |