From ce163dcd0944d81d8406c9532b457535efca7a6d Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Mon, 22 Jan 2024 16:48:54 +0000 Subject: gentoo auto-resync : 22:01:2024 - 16:48:54 --- sci-libs/libsemigroups/Manifest | 3 ++ sci-libs/libsemigroups/libsemigroups-2.7.2.ebuild | 27 +++++++++++++ sci-libs/libsemigroups/metadata.xml | 48 +++++++++++++++++++++++ 3 files changed, 78 insertions(+) create mode 100644 sci-libs/libsemigroups/Manifest create mode 100644 sci-libs/libsemigroups/libsemigroups-2.7.2.ebuild create mode 100644 sci-libs/libsemigroups/metadata.xml (limited to 'sci-libs/libsemigroups') diff --git a/sci-libs/libsemigroups/Manifest b/sci-libs/libsemigroups/Manifest new file mode 100644 index 000000000000..e0c368b18591 --- /dev/null +++ b/sci-libs/libsemigroups/Manifest @@ -0,0 +1,3 @@ +DIST libsemigroups-2.7.2.tar.gz 2543949 BLAKE2B bc25923404bc628bfa8a2de4d3d3bd1ab705804180e617f6333a9698a3bd72a18492aeaa42d8291c08ae9f7661a6248a4edf3d9c37dd37476c1baeb6fd4bb1dd SHA512 8c46492e4a91dd7cd1257528727d5364c1812dd7d2ef59e53fe91b4f1494f99f81ed2c6057e3c99102d9471219d06e7f2c0f86a3e92235846d837588e4bffbe7 +EBUILD libsemigroups-2.7.2.ebuild 639 BLAKE2B 2f2553604dacfe5f91e99410653cc1ec0e4450d1a2689a6191bcfe9b8f1a2a4860091b6557479fc09bc95b8e5c62e5bd28672cc6b5400f94cfeb336cbb94397f SHA512 06aba928b8ef6e31393d1dcd62bffaad106eed4f2eef667d8b9cc1b021419b4817bc9de85843b7af2aea7d625d263c1ca408e2fe65eed974bc8cdd3afe371807 +MISC metadata.xml 2022 BLAKE2B 2d0c1fffcd43538e90c4fe0933b937b72819c7c407a93398e5c0dd27f0c812d06d627a5718cab39b70d16aae6688b1428a4bb474225194268121d93d9bbef190 SHA512 750a0cb255d9ee40cb99c25d5ca76531413227b428b5aa97a12ed9b65313fa3afbe5ccf7acc8990e791fd8e7d1e749df30daf407d78620908e38a3d7880a0143 diff --git a/sci-libs/libsemigroups/libsemigroups-2.7.2.ebuild b/sci-libs/libsemigroups/libsemigroups-2.7.2.ebuild new file mode 100644 index 000000000000..04bbfd48d7b9 --- /dev/null +++ b/sci-libs/libsemigroups/libsemigroups-2.7.2.ebuild @@ -0,0 +1,27 @@ +# Copyright 2019-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +DESCRIPTION="C++ library for semigroups and monoids" +HOMEPAGE="https://github.com/libsemigroups/libsemigroups" +SRC_URI="https://github.com/${PN}/${PN}/releases/download/v${PV}/${P}.tar.gz" + +# Source headers have "or any later version" +LICENSE="GPL-3+" +SLOT="0/2" +KEYWORDS="~amd64 ~x86" +IUSE="cpu_flags_x86_popcnt" + +src_configure() { + econf \ + $(use_enable cpu_flags_x86_popcnt popcnt) \ + --disable-eigen \ + --disable-hpcombi \ + --disable-fmt +} + +src_install() { + default + find "${ED}" -type f -name '*.la' -delete || die +} diff --git a/sci-libs/libsemigroups/metadata.xml b/sci-libs/libsemigroups/metadata.xml new file mode 100644 index 000000000000..77788e074722 --- /dev/null +++ b/sci-libs/libsemigroups/metadata.xml @@ -0,0 +1,48 @@ + + + + + mjo@gentoo.org + + + frp.bissey@gmail.com + François Bissey + + + proxy-maint@gentoo.org + Proxy Maintainers + + + sci-mathematics@gentoo.org + Gentoo Mathematics Project + + + libsemigroups is a C++14 library containing implementations of + several algorithms for computing finite, and finitely presented, + semigroups and monoids. Namely: + + * the Froidure-Pin algorithm for computing finite semigroups; + * the Todd-Coxeter algorithm for finitely presented semigroups + and monoids; + * the Knuth-Bendix algorithm for finitely presented semigroups + and monoids; + * the Schreier-Sims algorithm for permutation groups; + * a preliminary implementation of the Konieczny and Lallement- + McFadden algorithm for computing finite semigroups which act + on sets; + * an implementation of the Radoszewski-Rytter algorithm for + testing equivalence of words in free bands; + * an implementation of the algorithm for solving the word problem + for small overlap monoids, and for computing normal forms in + such monoids; + * a version of Sims low index subgroup algorithm for computing + one-sided congruences of a semigroup or monoid; + * a version of Stephen's procedure for finitely presented + semigroups and monoids (for a given word w this procedure + is for determining words equivalent to w or that are left + divisors of w). + + + libsemigroups/libsemigroups + + -- cgit v1.2.3