diff options
author | Jeffrey Lin <jeffrey@icurse.nl> | 2020-08-22 17:32:25 -0400 |
---|---|---|
committer | Joonas Niilola <juippis@gentoo.org> | 2020-09-16 11:04:11 +0300 |
commit | 05e884516faad612fa7a11f04c553d6469ec2db1 (patch) | |
tree | 2a697557e894c9926898d0b76684209e4c2f4b26 | |
parent | sys-fs/mtd-utils: bump to 2.1.2 (diff) | |
download | gentoo-05e88451.tar.gz gentoo-05e88451.tar.bz2 gentoo-05e88451.zip |
dev-libs/stp: declare boost as dependency
Also remove static flag as that requires (boost and) minisat with
static-libs, which isn't packaged.
Closes: https://bugs.gentoo.org/699630
Package-Manager: Portage-3.0.4, Repoman-3.0.0
Signed-off-by: Jeffrey Lin <jeffrey@icurse.nl>
Closes: https://github.com/gentoo/gentoo/pull/17218
Signed-off-by: Joonas Niilola <juippis@gentoo.org>
-rw-r--r-- | dev-libs/stp/stp-2.3.3.ebuild | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dev-libs/stp/stp-2.3.3.ebuild b/dev-libs/stp/stp-2.3.3.ebuild index 69e3d1b92d74..c88151911bae 100644 --- a/dev-libs/stp/stp-2.3.3.ebuild +++ b/dev-libs/stp/stp-2.3.3.ebuild @@ -11,10 +11,11 @@ SRC_URI="https://github.com/stp/${PN}/archive/${PV}.tar.gz -> ${P}.tar.gz" LICENSE="GPL-2+ MIT" SLOT="0" KEYWORDS="~amd64 ~x86" -IUSE="python static test" +IUSE="python test" RESTRICT="!test? ( test )" DEPEND=" + dev-libs/boost:= sci-mathematics/minisat " RDEPEND="${DEPEND}" @@ -31,7 +32,6 @@ src_configure() { -DENABLE_ASSERTIONS="$(usex test)" -DENABLE_TESTING="$(usex test)" -DENABLE_PYTHON_INTERFACE="$(usex python)" - -DSTATICCOMPILE="$(usex static)" ) cmake_src_configure } |