diff options
Diffstat (limited to 'dev-libs/stp')
| -rw-r--r-- | dev-libs/stp/Manifest | 2 | ||||
| -rw-r--r-- | dev-libs/stp/stp-2.3.3.ebuild | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/dev-libs/stp/Manifest b/dev-libs/stp/Manifest index d44eaf2fcbb9..3328be554928 100644 --- a/dev-libs/stp/Manifest +++ b/dev-libs/stp/Manifest @@ -1,3 +1,3 @@ DIST stp-2.3.3.tar.gz 2577550 BLAKE2B 9ebedf3cb8e6b50d037cfacbc14826bd4e6505d29a53b1fcc6580749f0637fe5f96619c166babdb3a52b18fb6337e49c02f5693e233effe84d0131d0e7402381 SHA512 a0b1bf419d8230e40ce0aee90d9c8c9d814aca300831c24b3576c75623362942abf20673c419f9f0ea1e0505bfae000dc65fdd818179f5759879b0b255f1b99a -EBUILD stp-2.3.3.ebuild 978 BLAKE2B 78cbcab6fce1affe803da0f541c12554a671b2e21e6a92190c0ca8bb7b80e4e766d11dd607756a323cfb849881e3a3678bff5b258f3195c5b2c98dc1eeb7fff3 SHA512 e24da9013e8ffda8f8d7279fb300e27e16e907ed6f1925b0d3642079b6a01ee13861ec32703d7f5506d71f3e99294b125843ace67760181f8a30253623668de5 +EBUILD stp-2.3.3.ebuild 954 BLAKE2B 5651116f8a31248a8f99c733149d1f637b2270fbfaf42490cd540b6d9da83f5ca99acea1ae8851f43b70594e39f8ea420c2df0320ba47854415c99677473a65d SHA512 d65df738ad4177802c142e1b91c445512e2477bbe2aa0ebde34c70132c29bb1b71beec6a1ac1a09fa4ea523000544cea146e10ecf22a03f91d1aefe197a4a829 MISC metadata.xml 881 BLAKE2B bb604f1cf823b06a4d7bff96ec805bc2418dfcdeeaa17ca88f98c509b687b7467f7c6864d25294d8f1f1e4cbaf0e7d99b82edd27fcdc552353fe5510d1fbe375 SHA512 4b3e243ae419cb974f49b6d37e3e807f5ff0676cd989dc145fcd716c23bd2292177935658ea899afd9fc37a18dffc8c0949dee4a25b2e493db0f3713703ad2cb 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 } |