summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJeffrey Lin <jeffrey@icurse.nl>2020-08-22 17:32:25 -0400
committerJoonas Niilola <juippis@gentoo.org>2020-09-16 11:04:11 +0300
commit05e884516faad612fa7a11f04c553d6469ec2db1 (patch)
tree2a697557e894c9926898d0b76684209e4c2f4b26
parentsys-fs/mtd-utils: bump to 2.1.2 (diff)
downloadgentoo-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.ebuild4
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
}