Skip to content

Commit

Permalink
dev-gap/gaplint: new package, add 1.2.1
Browse files Browse the repository at this point in the history
Signed-off-by: Michael Orlitzky <[email protected]>
  • Loading branch information
orlitzky committed May 2, 2024
1 parent 75f4723 commit f962363
Show file tree
Hide file tree
Showing 3 changed files with 47 additions and 0 deletions.
1 change: 1 addition & 0 deletions dev-gap/gaplint/Manifest
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
DIST gaplint-1.2.1.gh.tar.gz 38532 BLAKE2B 25780a327df887ef7f9d811b7f1f4931567845ceaf28c6cc7b5f24253fd8f399a9945eae9e0a6cc5f7468e6cd6d2e2a68a99c2f2639b454f0829d36322a2e2d7 SHA512 4a56e90f0d15da7b19015ee507e75bda7a4ff9c7ab6adf00b4d000d50b4c710eeabc258976f43b648592988af7ef099909570e48bdb633658eaa99333c5ef743
27 changes: 27 additions & 0 deletions dev-gap/gaplint/gaplint-1.2.1.ebuild
Original file line number Diff line number Diff line change
@@ -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
19 changes: 19 additions & 0 deletions dev-gap/gaplint/metadata.xml
Original file line number Diff line number Diff line change
@@ -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>[email protected]</email>
</maintainer>

<maintainer type="project">
<email>[email protected]</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>

0 comments on commit f962363

Please sign in to comment.