[gentoo-commits] repo/gentoo:master commit in: dev-util/clippy/

[Jakov Smolić]

commit:     7195d4dbe2140ccb3f3254ffbb7013f537cd8900
Author:     Alarig Le Lay <alarig <AT> swordarmor <DOT> fr>
AuthorDate: Fri Jul 14 10:07:54 2023 +0000
Commit:     Jakov Smolić <jsmolic <AT> gentoo <DOT> org>
CommitDate: Fri Jul 14 13:24:39 2023 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7195d4db

dev-util/clippy: add 8.5.2

Signed-off-by: Alarig Le Lay <alarig <AT> swordarmor.fr>
Signed-off-by: Jakov Smolić <jsmolic <AT> gentoo.org>

 dev-util/clippy/Manifest            |  1 +
 dev-util/clippy/clippy-8.5.2.ebuild | 53 +++++++++++++++++++++++++++++++++++++
 2 files changed, 54 insertions(+)

diff --git a/dev-util/clippy/Manifest b/dev-util/clippy/Manifest
index 557e58232b98..36af5124eb28 100644
--- a/dev-util/clippy/Manifest
+++ b/dev-util/clippy/Manifest
@@ -1,2 +1,3 @@
 DIST clippy-8.4.2.tar.gz 9893223 BLAKE2B 
670fb131c2959b0ce4f3133ef38caeb7832275844b16f8582a693033f5466ad0eb98ab45ed9615e0a121ab80bf034edafe7ee816c47d767bd8a13b52f3138eac
 SHA512 
1ee9d17ef3b85c5c10df624a6560bcacb2b5daa3d6231e457f06d9eb6e5ccf375064a46e809d851c23cb6daf7a4299d1f25be589992ef729e80f9bad41a8d7f7
+DIST clippy-8.5.2.tar.gz 10076639 BLAKE2B 
2e2aca4e42757f66c9ca4725826c6cc1d611930490eed2a175ca5b56910f2c09a9d842b2a9370a64a9fdac6a6314bd4573be609d14dbf956049d9fbf49310404
 SHA512 
1afa6ca1a41096aa47dc2fc39ab87290b3cbf634a1632e7910a5b69d2816998fbccbca616f261a410aa146a21dd26d12b7e6812da4ec08545b1500f8b546b972
 DIST clippy-8.5.tar.gz 10068379 BLAKE2B 
ed7aa538997bdbfde0370f36a8980ad3ae882a2325cdc7c3b2bdba9d6a43cd9ca04ff96b94b7827e06593a15c104cdadbd2632e136eb2d68e7ed87095a9294a4
 SHA512 
13e2ea8642fc00b565e9a36d2d59abe5d0e11caf646199cd928184fda2de004bda9892ae8a2f91870d5ac218bb127725663b693e4d764e5b21c942bb20b8d66f

diff --git a/dev-util/clippy/clippy-8.5.2.ebuild 
b/dev-util/clippy/clippy-8.5.2.ebuild
new file mode 100644
index 000000000000..c9bb649db28e
--- /dev/null
+++ b/dev-util/clippy/clippy-8.5.2.ebuild
@@ -0,0 +1,53 @@
+# Copyright 2020-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+MY_P="frr-${PV}"
+PYTHON_COMPAT=( python3_{9..11} )
+inherit autotools python-single-r1
+
+DESCRIPTION="Standalone clippy tool built from FRR sources"
+HOMEPAGE="https://frrouting.org/";
+SRC_URI="https://github.com/FRRouting/frr/archive/${MY_P}.tar.gz -> 
${P}.tar.gz"
+S="${WORKDIR}/frr-${MY_P}"
+
+LICENSE="GPL-2"
+SLOT="0"
+KEYWORDS="~amd64 ~arm64 ~x86"
+REQUIRED_USE="${PYTHON_REQUIRED_USE}"
+
+# standalone clippy does not have any tests
+# restrict to prevent bug 811753
+RESTRICT="test"
+
+DEPEND="
+       ${PYTHON_DEPS}
+       virtual/libelf:=
+"
+RDEPEND="${DEPEND}"
+BDEPEND="
+       sys-devel/bison
+       sys-devel/flex
+"
+
+src_prepare() {
+       default
+       eautoreconf
+}
+
+src_configure() {
+       # bug #884291
+       unset YACC
+       export LEX=flex
+
+       econf --enable-clippy-only
+}
+
+src_install() {
+       # 830087
+       find "lib" -type f -name "clippy" -print0 |
+               xargs -0 file | grep executable | grep ELF | cut -f 1 -d : |
+               xargs -I '{}' dobin '{}' ||
+               die "Failed to install 'lib/clippy'"
+}