diff options
| author |   Jakov Smolic <jakov.smolic@sartura.hr> | 2021-03-30 11:28:56 +0200 |
|---|---|---|
| committer |   David Seifert <soap@gentoo.org> | 2021-03-30 11:28:56 +0200 |
| commit | e8d3a03291f7d9375506e999d570006355bc3341 (patch) | |
| tree | 585d12b2c6d2cb8f2048e9e1d81a8216a41259ed | |
| parent | dev-python/rsa: Stabilize 4.7.2 ALLARCHES, #779301 (diff) | |
| download | gentoo-e8d3a03291f7d9375506e999d570006355bc3341.tar.gz gentoo-e8d3a03291f7d9375506e999d570006355bc3341.tar.bz2 gentoo-e8d3a03291f7d9375506e999d570006355bc3341.zip | |
dev-util/clippy: Standalone clippy tool from FRR sources
* We need this to cross-compile FRR
Signed-off-by: Jakov Smolic <jakov.smolic@sartura.hr>
Signed-off-by: David Seifert <soap@gentoo.org>
| -rw-r--r-- | dev-util/clippy/Manifest | 1 | ||||
| -rw-r--r-- | dev-util/clippy/clippy-7.5.1.ebuild | 36 | ||||
| -rw-r--r-- | dev-util/clippy/metadata.xml | 15 |
3 files changed, 52 insertions, 0 deletions
diff --git a/dev-util/clippy/Manifest b/dev-util/clippy/Manifest new file mode 100644 index 000000000000..cd149c1bf502 --- /dev/null +++ b/dev-util/clippy/Manifest @@ -0,0 +1 @@ +DIST clippy-7.5.1.tar.gz 6746148 BLAKE2B e6a8d38bac1323852d933ca9eaac681df8824407af008bb0170937a01564b3fb9fb081418630b7540f3ccdb899ac0948121d63accfa65ae0fd3fd6933fdafd6d SHA512 cf20316abd39a2d96bb377bd594464ae74c20ad70c60246409fe9f04f0177fcd8891a8da54d83bee962f589a00e71f7b51e78f9729c8680e6265ddd548e0464e diff --git a/dev-util/clippy/clippy-7.5.1.ebuild b/dev-util/clippy/clippy-7.5.1.ebuild new file mode 100644 index 000000000000..15c963de4fd9 --- /dev/null +++ b/dev-util/clippy/clippy-7.5.1.ebuild @@ -0,0 +1,36 @@ +# Copyright 2020-2021 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=7 + +MY_P="frr-${PV}" +PYTHON_COMPAT=( python3_{7..9} ) +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" + +LICENSE="GPL-2" +SLOT="0" +KEYWORDS="~amd64 ~x86" +REQUIRED_USE="${PYTHON_REQUIRED_USE}" + +DEPEND="${PYTHON_DEPS}" +RDEPEND="${DEPEND}" +BDEPEND="sys-devel/flex" + +S="${WORKDIR}/frr-${MY_P}" + +src_prepare() { + default + eautoreconf +} + +src_configure() { + econf --enable-clippy-only +} + +src_install() { + dobin lib/clippy +} diff --git a/dev-util/clippy/metadata.xml b/dev-util/clippy/metadata.xml new file mode 100644 index 000000000000..af7e64c3e634 --- /dev/null +++ b/dev-util/clippy/metadata.xml @@ -0,0 +1,15 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> +<pkgmetadata> + <maintainer type="person"> + <email>jakov.smolic@sartura.hr</email> + <name>Jakov Smolic</name> + </maintainer> + <maintainer type="project"> + <email>proxy-maint@gentoo.org</email> + <name>Proxy Maintainers</name> + </maintainer> + <upstream> + <remote-id type="github">FRRouting/frr</remote-id> + </upstream> +</pkgmetadata> |