libsemigroups is a C++11 library containing implementations of several
algorithms for computing finite and finitely presented semigroups.
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.
See also: https://github.com/libsemigroups/libsemigroups
math/libsemigroups: fix the pkg-config version, depend on eigen at run time
The GitHub tarball carries neither .VERSION nor git metadata, so
configure called the library 3.dev and the pkg-config file failed every
version check. The installed headers include Eigen, so consumers need
eigen5 at run time as well.
math/libsemigroups: only depend on HPCombi on amd64
HPCombi is SSE-only and the port already disables it elsewhere, but the
build dependency and the plist did not follow. Fixes the build on
powerpc64*.
devel/libfmt: Bump PORTREVISION of dependent ports for shlib change after
786cb608216ce14e8ced27108c96a1f2c8492fca
The following ports are skipped because they have been updated after
786cb608216ce14e8ced27108c96a1f2c8492fca.
- chinese/fcitx5-chinese-addons
- chinese/fcitx5-mcbopomofo
- devel/fatal
- devel/fbthrift
- devel/folly
- devel/spdlog
- mail/mu
- net/fb303
- net/mvfst
- net/wangle
- science/seacas
- security/fizz
- www/proxygen
Remove WWW entries moved into port Makefiles
Commit b7f05445c00f has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.
This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.
Approved by: portmgr (tcberner)
Add WWW entries to port Makefiles
It has been common practice to have one or more URLs at the end of the
ports' pkg-descr files, one per line and prefixed with "WWW:". These
URLs should point at a project website or other relevant resources.
Access to these URLs required processing of the pkg-descr files, and
they have often become stale over time. If more than one such URL was
present in a pkg-descr file, only the first one was tarnsfered into
the port INDEX, but for many ports only the last line did contain the
port specific URL to further information.
There have been several proposals to make a project URL available as
a macro in the ports' Makefiles, over time.
(Only the first 15 lines of the commit message are shown above )
math: remove 'Created by' lines
A big Thank You to the original contributors of these ports:
* Aaron Dalton <aaron@FreeBSD.org>
* Aaron Dalton <aaron@daltons.ca>
* Alessando Sagratini <ale_sagra@hotmail.com>
* Alex Dupre <ale@FreeBSD.org>
* Alexey Dokuchaev <danfe@FreeBSD.org>
* Amarendra Godbole <amarendra.godbole@gmail.com>
* Anders Nordby <anders@FreeBSD.org>
* Andreas Fehlner (fehlner@gmx.de)
* Andrew L. Neporada <andrew@chg.ru>
* Andrey <gugu@zoo.rambler.ru>
* Andrey Zakhvatov
(Only the first 15 lines of the commit message are shown above )
- Upgrade math/eigen3 to 3.3.8;
- Add some dependencies which might be detected by Find_Package but not
registered;
- Bump PORTREVISION of consumers.
PR: 250833
Submitted by: /me
Approved by: tcberner@ (KDE / maintainer) + exp-run
Adding HPCombi, High Performance Combinatorics in C++ using vector
instructions, and libsemigroups, a C++ library for semigroups and monoids.
To be used by SageMath.
