From 83ee3d6c6750caee3d61c7407de54ac96eab580a Mon Sep 17 00:00:00 2001
From: Michael Orlitzky <mjo@gentoo.org>
Date: Thu, 21 Dec 2023 12:11:47 -0500
Subject: dev-gap/gbnp: new package, add 1.0.5

Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
---
 dev-gap/gbnp/Manifest          |  1 +
 dev-gap/gbnp/gbnp-1.0.5.ebuild | 28 ++++++++++++++++++++++++++++
 dev-gap/gbnp/metadata.xml      | 32 ++++++++++++++++++++++++++++++++
 3 files changed, 61 insertions(+)
 create mode 100644 dev-gap/gbnp/Manifest
 create mode 100644 dev-gap/gbnp/gbnp-1.0.5.ebuild
 create mode 100644 dev-gap/gbnp/metadata.xml

(limited to 'dev-gap/gbnp')

diff --git a/dev-gap/gbnp/Manifest b/dev-gap/gbnp/Manifest
new file mode 100644
index 000000000000..77b0b757a6ed
--- /dev/null
+++ b/dev-gap/gbnp/Manifest
@@ -0,0 +1 @@
+DIST gbnp-1.0.5.tar.gz 830298 BLAKE2B 785dcf648efa1c859aa5f07510366406b4e91c26b5c322b1909c510beb01b4428d2e3acf8a9415b7b2aef11f2861907b20d8f617fc55c799e9a0bb2aad8b7c5d SHA512 98fecfa1daa240dd9627ad6bf3bea1b01052e6f18e92eb1214b3f83314f79a592f1c83b843d81ebefeda0a167f63e1749a354e40d392aa2d82112ceab2ec3df0
diff --git a/dev-gap/gbnp/gbnp-1.0.5.ebuild b/dev-gap/gbnp/gbnp-1.0.5.ebuild
new file mode 100644
index 000000000000..cadc85d94ec6
--- /dev/null
+++ b/dev-gap/gbnp/gbnp-1.0.5.ebuild
@@ -0,0 +1,28 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit gap-pkg
+
+DESCRIPTION="Compute Gröbner bases of noncommutative polynomials"
+SLOT="0"
+SRC_URI="https://github.com/gap-packages/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="LGPL-2.1+"
+KEYWORDS="~amd64"
+IUSE="examples "
+
+gap-pkg_enable_tests
+
+src_prepare() {
+	# The GNUmakefile is used to produce the tarball, not to build the
+	# package.
+	rm GNUmakefile || die
+	default
+}
+
+src_install() {
+	gap-pkg_src_install
+	use examples && dodoc -r examples
+}
diff --git a/dev-gap/gbnp/metadata.xml b/dev-gap/gbnp/metadata.xml
new file mode 100644
index 000000000000..bfb19d13e1fa
--- /dev/null
+++ b/dev-gap/gbnp/metadata.xml
@@ -0,0 +1,32 @@
+<?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">
+    The GBNP package provides algorithms for computing Grobner bases of
+    noncommutative polynomials with coefficients from a field
+    implemented in GAP and with respect to the "total degree first then
+    lexicographical" ordering. Further provided are some variations,
+    such as a weighted and truncated version and a tracing facility. The
+    word "algorithm" is to be interpreted loosely here: in general one
+    cannot expect such an algorithm to terminate, as it would imply
+    solvability of the word problem for finitely presented (semi)groups.
+  </longdescription>
+  <upstream>
+    <remote-id type="github">gap-packages/gbnp</remote-id>
+  </upstream>
+</pkgmetadata>
-- 
cgit v1.2.3-65-gdbad