commit: e8d3a03291f7d9375506e999d570006355bc3341
Author: Jakov Smolic <jakov.smolic <AT> sartura <DOT> hr>
AuthorDate: Tue Mar 30 09:28:56 2021 +0000
Commit: David Seifert <soap <AT> gentoo <DOT> org>
CommitDate: Tue Mar 30 09:28:56 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e8d3a032
dev-util/clippy: Standalone clippy tool from FRR sources
* We need this to cross-compile FRR
Signed-off-by: Jakov Smolic <jakov.smolic <AT> sartura.hr>
Signed-off-by: David Seifert <soap <AT> gentoo.org>
dev-util/clippy/Manifest | 1 +
dev-util/clippy/clippy-7.5.1.ebuild | 36 ++++++++++++++++++++++++++++++++++++
dev-util/clippy/metadata.xml | 15 +++++++++++++++
3 files changed, 52 insertions(+)
diff --git a/dev-util/clippy/Manifest b/dev-util/clippy/Manifest
new file mode 100644
index 00000000000..cd149c1bf50
--- /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 00000000000..15c963de4fd
--- /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 00000000000..af7e64c3e63
--- /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>[email protected]</email>
+ <name>Jakov Smolic</name>
+ </maintainer>
+ <maintainer type="project">
+ <email>[email protected]</email>
+ <name>Proxy Maintainers</name>
+ </maintainer>
+ <upstream>
+ <remote-id type="github">FRRouting/frr</remote-id>
+ </upstream>
+</pkgmetadata>
