diff options
author | Michael Orlitzky <mjo@gentoo.org> | 2023-12-21 14:12:03 -0500 |
---|---|---|
committer | Michael Orlitzky <mjo@gentoo.org> | 2024-01-22 06:29:12 -0500 |
commit | b2943db2204f198ac97c1ef857d20d2fd0de33c8 (patch) | |
tree | c2275d911981a79f10384439d05737fbff6122ee /dev-gap | |
parent | dev-gap/corelg: new package, add 1.56 (diff) | |
download | gentoo-b2943db2204f198ac97c1ef857d20d2fd0de33c8.tar.gz gentoo-b2943db2204f198ac97c1ef857d20d2fd0de33c8.tar.bz2 gentoo-b2943db2204f198ac97c1ef857d20d2fd0de33c8.zip |
dev-gap/polymaking: new package, add 0.8.7
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
Diffstat (limited to 'dev-gap')
-rw-r--r-- | dev-gap/polymaking/Manifest | 1 | ||||
-rw-r--r-- | dev-gap/polymaking/metadata.xml | 26 | ||||
-rw-r--r-- | dev-gap/polymaking/polymaking-0.8.7.ebuild | 22 |
3 files changed, 49 insertions, 0 deletions
diff --git a/dev-gap/polymaking/Manifest b/dev-gap/polymaking/Manifest new file mode 100644 index 000000000000..2c4770e2c06b --- /dev/null +++ b/dev-gap/polymaking/Manifest @@ -0,0 +1 @@ +DIST polymaking-0.8.7.tar.gz 281215 BLAKE2B 32fda84ae1d03a4a70bd0f250a39495dbf0bf773e0df3fe194d364a1b3a458f7512dd5e93e22ee36b099deac6e85f5b108b8b89a5a0d426a6f2f14005766daca SHA512 c1162414d99e8c059fc85e4356c099b2ff22b8974632262e7b694ebe28bcc947ca3f64bccae2c655af91696070b31762da199a02e4115ffef4bf20058b511c0f diff --git a/dev-gap/polymaking/metadata.xml b/dev-gap/polymaking/metadata.xml new file mode 100644 index 000000000000..75d289ff81f9 --- /dev/null +++ b/dev-gap/polymaking/metadata.xml @@ -0,0 +1,26 @@ +<?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="person"> + <email>frp.bissey@gmail.com</email> + <name>François Bissey</name> + </maintainer> + <maintainer type="project" proxied="proxy"> + <email>proxy-maint@gentoo.org</email> + <name>Proxy Maintainers</name> + </maintainer> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> + </maintainer> + <longdescription lang="en"> + This package provides a very basic interface to the polymake program + by Ewgenij Gawrilow, Michael Joswig et al. + </longdescription> + <upstream> + <remote-id type="github">gap-packages/polymaking</remote-id> + </upstream> +</pkgmetadata> diff --git a/dev-gap/polymaking/polymaking-0.8.7.ebuild b/dev-gap/polymaking/polymaking-0.8.7.ebuild new file mode 100644 index 000000000000..e488b8819e71 --- /dev/null +++ b/dev-gap/polymaking/polymaking-0.8.7.ebuild @@ -0,0 +1,22 @@ +# Copyright 1999-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit gap-pkg + +DESCRIPTION="GAP interface to sci-mathematics/polymake" +SRC_URI="https://github.com/gap-packages/${PN}/releases/download/v${PV}/${P}.tar.gz" + +LICENSE="GPL-2+" +SLOT="0" +KEYWORDS="~amd64" + +# Tests fail: https://github.com/gap-packages/polymaking/issues/18 +RESTRICT=test + +RDEPEND="sci-mathematics/polymake" + +DOCS=( CHANGES.md README.md ) + +gap-pkg_enable_tests |