[gentoo-commits] repo/gentoo:master commit in: dev-gap/gaplint/

[gentoo-commits] repo/gentoo:master commit in: dev-gap/gaplint/

[Michael Orlitzky]

commit:     f962363558ed5f82c7d2b758e01cf7ab67299108
Author:     Michael Orlitzky <mjo <AT> gentoo <DOT> org>
AuthorDate: Thu May  2 12:07:18 2024 +0000
Commit:     Michael Orlitzky <mjo <AT> gentoo <DOT> org>
CommitDate: Thu May  2 23:52:44 2024 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f9623635

dev-gap/gaplint: new package, add 1.2.1

Signed-off-by: Michael Orlitzky <mjo <AT> gentoo.org>

 dev-gap/gaplint/Manifest             |  1 +
 dev-gap/gaplint/gaplint-1.2.1.ebuild | 27 +++++++++++++++++++++++++++
 dev-gap/gaplint/metadata.xml         | 19 +++++++++++++++++++
 3 files changed, 47 insertions(+)

diff --git a/dev-gap/gaplint/Manifest b/dev-gap/gaplint/Manifest
new file mode 100644
index 000000000000..3c0ec3c0eb14
--- /dev/null
+++ b/dev-gap/gaplint/Manifest
@@ -0,0 +1 @@
+DIST gaplint-1.2.1.gh.tar.gz 38532 BLAKE2B 25780a327df887ef7f9d811b7f1f4931567845ceaf28c6cc7b5f24253fd8f399a9945eae9e0a6cc5f7468e6cd6d2e2a68a99c2f2639b454f0829d36322a2e2d7 SHA512 4a56e90f0d15da7b19015ee507e75bda7a4ff9c7ab6adf00b4d000d50b4c710eeabc258976f43b648592988af7ef099909570e48bdb633658eaa99333c5ef743

diff --git a/dev-gap/gaplint/gaplint-1.2.1.ebuild b/dev-gap/gaplint/gaplint-1.2.1.ebuild
new file mode 100644
index 000000000000..725d661d1d12
--- /dev/null
+++ b/dev-gap/gaplint/gaplint-1.2.1.ebuild
@@ -0,0 +1,27 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+DISTUTILS_USE_PEP517=setuptools
+PYTHON_COMPAT=( python3_{11..12} )
+
+inherit distutils-r1
+
+DESCRIPTION="Linter for GAP"
+HOMEPAGE="
+	https://github.com/james-d-mitchell/gaplint
+	https://pypi.org/project/gaplint
+"
+
+# Use the github tarball because it includes the tests.
+SRC_URI="https://github.com/james-d-mitchell/${PN}/archive/refs/tags/v${PV}.tar.gz
+	-> ${P}.gh.tar.gz"
+
+LICENSE="GPL-3"
+SLOT="0"
+KEYWORDS="~amd64"
+
+RDEPEND="dev-python/pyyaml[${PYTHON_USEDEP}]"
+
+distutils_enable_tests pytest

diff --git a/dev-gap/gaplint/metadata.xml b/dev-gap/gaplint/metadata.xml
new file mode 100644
index 000000000000..e4f5327f9075
--- /dev/null
+++ b/dev-gap/gaplint/metadata.xml
@@ -0,0 +1,19 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+  <maintainer type="person">
+    <email>mjo@gentoo.org</email>
+  </maintainer>
+
+  <maintainer type="project">
+    <email>sci-mathematics@gentoo.org</email>
+    <name>Gentoo Mathematics Project</name>
+  </maintainer>
+
+  <stabilize-allarches />
+
+  <upstream>
+    <remote-id type="pypi">gaplint</remote-id>
+    <remote-id type="github">james-d-mitchell/gaplint</remote-id>
+  </upstream>
+</pkgmetadata>