Gentoo Archives: gentoo-commits

From: David Seifert <soap@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-util/clippy/
Date: Tue, 30 Mar 2021 09:31:17
Message-Id: 1617096536.e8d3a03291f7d9375506e999d570006355bc3341.soap@gentoo
1 commit: e8d3a03291f7d9375506e999d570006355bc3341
2 Author: Jakov Smolic <jakov.smolic <AT> sartura <DOT> hr>
3 AuthorDate: Tue Mar 30 09:28:56 2021 +0000
4 Commit: David Seifert <soap <AT> gentoo <DOT> org>
5 CommitDate: Tue Mar 30 09:28:56 2021 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e8d3a032
7
8 dev-util/clippy: Standalone clippy tool from FRR sources
9
10 * We need this to cross-compile FRR
11
12 Signed-off-by: Jakov Smolic <jakov.smolic <AT> sartura.hr>
13 Signed-off-by: David Seifert <soap <AT> gentoo.org>
14
15 dev-util/clippy/Manifest | 1 +
16 dev-util/clippy/clippy-7.5.1.ebuild | 36 ++++++++++++++++++++++++++++++++++++
17 dev-util/clippy/metadata.xml | 15 +++++++++++++++
18 3 files changed, 52 insertions(+)
19
20 diff --git a/dev-util/clippy/Manifest b/dev-util/clippy/Manifest
21 new file mode 100644
22 index 00000000000..cd149c1bf50
23 --- /dev/null
24 +++ b/dev-util/clippy/Manifest
25 @@ -0,0 +1 @@
26 +DIST clippy-7.5.1.tar.gz 6746148 BLAKE2B e6a8d38bac1323852d933ca9eaac681df8824407af008bb0170937a01564b3fb9fb081418630b7540f3ccdb899ac0948121d63accfa65ae0fd3fd6933fdafd6d SHA512 cf20316abd39a2d96bb377bd594464ae74c20ad70c60246409fe9f04f0177fcd8891a8da54d83bee962f589a00e71f7b51e78f9729c8680e6265ddd548e0464e
27
28 diff --git a/dev-util/clippy/clippy-7.5.1.ebuild b/dev-util/clippy/clippy-7.5.1.ebuild
29 new file mode 100644
30 index 00000000000..15c963de4fd
31 --- /dev/null
32 +++ b/dev-util/clippy/clippy-7.5.1.ebuild
33 @@ -0,0 +1,36 @@
34 +# Copyright 2020-2021 Gentoo Authors
35 +# Distributed under the terms of the GNU General Public License v2
36 +
37 +EAPI=7
38 +
39 +MY_P="frr-${PV}"
40 +PYTHON_COMPAT=( python3_{7..9} )
41 +inherit autotools python-single-r1
42 +
43 +DESCRIPTION="Standalone clippy tool built from FRR sources"
44 +HOMEPAGE="https://frrouting.org/"
45 +SRC_URI="https://github.com/FRRouting/frr/archive/${MY_P}.tar.gz -> ${P}.tar.gz"
46 +
47 +LICENSE="GPL-2"
48 +SLOT="0"
49 +KEYWORDS="~amd64 ~x86"
50 +REQUIRED_USE="${PYTHON_REQUIRED_USE}"
51 +
52 +DEPEND="${PYTHON_DEPS}"
53 +RDEPEND="${DEPEND}"
54 +BDEPEND="sys-devel/flex"
55 +
56 +S="${WORKDIR}/frr-${MY_P}"
57 +
58 +src_prepare() {
59 + default
60 + eautoreconf
61 +}
62 +
63 +src_configure() {
64 + econf --enable-clippy-only
65 +}
66 +
67 +src_install() {
68 + dobin lib/clippy
69 +}
70
71 diff --git a/dev-util/clippy/metadata.xml b/dev-util/clippy/metadata.xml
72 new file mode 100644
73 index 00000000000..af7e64c3e63
74 --- /dev/null
75 +++ b/dev-util/clippy/metadata.xml
76 @@ -0,0 +1,15 @@
77 +<?xml version="1.0" encoding="UTF-8"?>
78 +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
79 +<pkgmetadata>
80 + <maintainer type="person">
81 + <email>jakov.smolic@×××××××.hr</email>
82 + <name>Jakov Smolic</name>
83 + </maintainer>
84 + <maintainer type="project">
85 + <email>proxy-maint@g.o</email>
86 + <name>Proxy Maintainers</name>
87 + </maintainer>
88 + <upstream>
89 + <remote-id type="github">FRRouting/frr</remote-id>
90 + </upstream>
91 +</pkgmetadata>