diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2022-01-04 01:27:12 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2022-01-04 01:27:12 +0000 |
| commit | 3517852e3b8a68d1e997770fc0650c5053bafc6c (patch) | |
| tree | 44068672445b1418489aed82de58df3c470289e7 /dev-libs/stp | |
| parent | 0f15659d48c193027158492acb726297501202c5 (diff) | |
gentoo resync : 04.01.2022
Diffstat (limited to 'dev-libs/stp')
| -rw-r--r-- | dev-libs/stp/Manifest | 3 | ||||
| -rw-r--r-- | dev-libs/stp/metadata.xml | 26 | ||||
| -rw-r--r-- | dev-libs/stp/stp-2.3.3.ebuild | 45 |
3 files changed, 0 insertions, 74 deletions
diff --git a/dev-libs/stp/Manifest b/dev-libs/stp/Manifest deleted file mode 100644 index 5b035ce4fe87..000000000000 --- a/dev-libs/stp/Manifest +++ /dev/null @@ -1,3 +0,0 @@ -DIST stp-2.3.3.tar.gz 2577550 BLAKE2B 9ebedf3cb8e6b50d037cfacbc14826bd4e6505d29a53b1fcc6580749f0637fe5f96619c166babdb3a52b18fb6337e49c02f5693e233effe84d0131d0e7402381 SHA512 a0b1bf419d8230e40ce0aee90d9c8c9d814aca300831c24b3576c75623362942abf20673c419f9f0ea1e0505bfae000dc65fdd818179f5759879b0b255f1b99a -EBUILD stp-2.3.3.ebuild 954 BLAKE2B 5651116f8a31248a8f99c733149d1f637b2270fbfaf42490cd540b6d9da83f5ca99acea1ae8851f43b70594e39f8ea420c2df0320ba47854415c99677473a65d SHA512 d65df738ad4177802c142e1b91c445512e2477bbe2aa0ebde34c70132c29bb1b71beec6a1ac1a09fa4ea523000544cea146e10ecf22a03f91d1aefe197a4a829 -MISC metadata.xml 912 BLAKE2B 58ac83b66259403765775650529ef2c15847e2a7ee5fbf5f21dd5815e7d60c331e3191f7762614cad3862a934ec4a66ad43157ee0e2e8cb822da6ef95af1b1fc SHA512 af6e454af96b276c068602854246244ca998867cae8b3cfb4142caa06367f904d39337c22ddc6f2dfc17011e262f680e2b2142d39e85badced9a82220d0b91f4 diff --git a/dev-libs/stp/metadata.xml b/dev-libs/stp/metadata.xml deleted file mode 100644 index 511b06e39e35..000000000000 --- a/dev-libs/stp/metadata.xml +++ /dev/null @@ -1,26 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd"> -<pkgmetadata> - <maintainer type="person" proxied="yes"> - <email>jeffrey@icurse.nl</email> - <name>Jeffrey Lin</name> - </maintainer> - <maintainer type="project" proxied="proxy"> - <email>proxy-maint@gentoo.org</email> - <name>Proxy Maintainers</name> - </maintainer> - <longdescription lang="en"> - STP is a constraint solver (or SMT solver) aimed at solving - constraints of bitvectors and arrays. These types of - constraints can be generated by program analysis tools, theorem - provers, automated bug finders, cryptographic attack tools, - intelligent fuzzers, model checkers, and by many other - applications. - </longdescription> - <upstream> - <remote-id type="github">stp/stp</remote-id> - </upstream> - <use> - <flag name="python">Enable building the Python interface</flag> - </use> -</pkgmetadata> diff --git a/dev-libs/stp/stp-2.3.3.ebuild b/dev-libs/stp/stp-2.3.3.ebuild deleted file mode 100644 index c88151911bae..000000000000 --- a/dev-libs/stp/stp-2.3.3.ebuild +++ /dev/null @@ -1,45 +0,0 @@ -# Copyright 1999-2020 Gentoo Authors -# Distributed under the terms of the GNU General Public License v2 - -EAPI=7 - -inherit cmake - -DESCRIPTION="Simple Theorem Prover, an efficient SMT solver for bitvectors" -HOMEPAGE="https://stp.github.io/" -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 test" -RESTRICT="!test? ( test )" - -DEPEND=" - dev-libs/boost:= - sci-mathematics/minisat -" -RDEPEND="${DEPEND}" - -src_prepare() { - # replace static lib with $(get_libdir) - sed -i "s/set(LIBDIR lib/set(LIBDIR $(get_libdir)/" CMakeLists.txt || die - - cmake_src_prepare -} - -src_configure() { - local mycmakeargs=( - -DENABLE_ASSERTIONS="$(usex test)" - -DENABLE_TESTING="$(usex test)" - -DENABLE_PYTHON_INTERFACE="$(usex python)" - ) - cmake_src_configure -} - -src_install() { - cmake_src_install - - # don't install to /usr/man - doman "${D}/usr/man/man1/stp.1" - rm -r "${D}/usr/man" || die -} |