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 | 10 |
2 files changed, 6 insertions, 6 deletions
diff --git a/dev-libs/stp/Manifest b/dev-libs/stp/Manifest index ee0c08ca8051..d44eaf2fcbb9 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 1002 BLAKE2B 1a79e33d06bcf6ff3300268970d2eceb0d30b186e3c424a60c6b440aea4f9b16b090d8138739adebc50bbf1369a8fd1be3ed5156b16a749c7d170a1e5a6f5275 SHA512 95e67894fff3a2bca4313f86c1de94f6088cd51c03e145ef58ee0e414a0e214f096f6a740504ea6dfc663bf22cba41126e897cf95a26ebc3180700932e612c1b +EBUILD stp-2.3.3.ebuild 978 BLAKE2B 78cbcab6fce1affe803da0f541c12554a671b2e21e6a92190c0ca8bb7b80e4e766d11dd607756a323cfb849881e3a3678bff5b258f3195c5b2c98dc1eeb7fff3 SHA512 e24da9013e8ffda8f8d7279fb300e27e16e907ed6f1925b0d3642079b6a01ee13861ec32703d7f5506d71f3e99294b125843ace67760181f8a30253623668de5 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 a900384b2178..69e3d1b92d74 100644 --- a/dev-libs/stp/stp-2.3.3.ebuild +++ b/dev-libs/stp/stp-2.3.3.ebuild @@ -1,9 +1,9 @@ -# Copyright 1999-2019 Gentoo Authors +# Copyright 1999-2020 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=7 -inherit cmake-utils +inherit cmake DESCRIPTION="Simple Theorem Prover, an efficient SMT solver for bitvectors" HOMEPAGE="https://stp.github.io/" @@ -23,7 +23,7 @@ src_prepare() { # replace static lib with $(get_libdir) sed -i "s/set(LIBDIR lib/set(LIBDIR $(get_libdir)/" CMakeLists.txt || die - cmake-utils_src_prepare + cmake_src_prepare } src_configure() { @@ -33,11 +33,11 @@ src_configure() { -DENABLE_PYTHON_INTERFACE="$(usex python)" -DSTATICCOMPILE="$(usex static)" ) - cmake-utils_src_configure + cmake_src_configure } src_install() { - cmake-utils_src_install + cmake_src_install # don't install to /usr/man doman "${D}/usr/man/man1/stp.1" |