Skip site navigation (1)Skip section navigation (2)
Date:      Mon, 6 Apr 2020 18:03:46 +0000 (UTC)
From:      Thierry Thomas <thierry@FreeBSD.org>
To:        ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org
Subject:   svn commit: r530915 - in head/math: . hpcombi libsemigroups
Message-ID:  <202004061803.036I3kJU019187@repo.freebsd.org>

next in thread | raw e-mail | index | archive | help
Author: thierry
Date: Mon Apr  6 18:03:45 2020
New Revision: 530915
URL: https://svnweb.freebsd.org/changeset/ports/530915

Log:
  Adding HPCombi, High Performance Combinatorics in C++ using vector
  instructions, and libsemigroups, a C++ library for semigroups and monoids.
  
  To be used by SageMath.

Added:
  head/math/hpcombi/
  head/math/hpcombi/Makefile   (contents, props changed)
  head/math/hpcombi/distinfo   (contents, props changed)
  head/math/hpcombi/pkg-descr   (contents, props changed)
  head/math/hpcombi/pkg-plist   (contents, props changed)
  head/math/libsemigroups/
  head/math/libsemigroups/Makefile   (contents, props changed)
  head/math/libsemigroups/distinfo   (contents, props changed)
  head/math/libsemigroups/pkg-descr   (contents, props changed)
  head/math/libsemigroups/pkg-plist   (contents, props changed)
Modified:
  head/math/Makefile

Modified: head/math/Makefile
==============================================================================
--- head/math/Makefile	Mon Apr  6 17:52:05 2020	(r530914)
+++ head/math/Makefile	Mon Apr  6 18:03:45 2020	(r530915)
@@ -310,6 +310,7 @@
     SUBDIR += hexcalc
     SUBDIR += hipmcl
     SUBDIR += hmat-oss
+    SUBDIR += hpcombi
     SUBDIR += hpipm
     SUBDIR += hs-Agda
     SUBDIR += hs-penrose
@@ -360,6 +361,7 @@
     SUBDIR += libpgmath
     SUBDIR += libpoly
     SUBDIR += libqalculate
+    SUBDIR += libsemigroups
     SUBDIR += libranlip
     SUBDIR += librdata
     SUBDIR += librsb

Added: head/math/hpcombi/Makefile
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/math/hpcombi/Makefile	Mon Apr  6 18:03:45 2020	(r530915)
@@ -0,0 +1,47 @@
+# Created by: thierry@pompo.net
+# $FreeBSD$
+
+PORTNAME=	HPCombi
+PORTVERSION=	0.0.6
+DISTVERSIONPREFIX=	v
+CATEGORIES=	math devel
+
+MAINTAINER=	thierry@FreeBSD.org
+COMMENT=	Fast combinatorics in C++ using SSE/AVX instruction sets
+
+LICENSE=	GPLv3
+
+ONLY_FOR_ARCHS=		amd64 i386
+ONLY_FOR_ARCHS_REASON=	Uses Advanced Vector Extensions (AVX) instructions set
+
+BUILD_DEPENDS=	sparsehash>0:devel/sparsehash
+LIB_DEPENDS=	libbenchmark.so:devel/benchmark
+
+USE_GITHUB=	yes
+GH_ACCOUNT=	hivert
+
+USES=		cmake compiler:c++11-lang localbase:ldflags
+
+#OPTIONS_DEFINE=	DOXYGEN TEST
+OPTIONS_DEFINE=		DOXYGEN
+OPTIONS_SUB=		yes
+DOXYGEN_BUILD_DEPENDS=	doxygen:devel/doxygen
+DOXYGEN_CMAKE_ON=	-DAPIDOC_DIR=${DOCSDIR}
+TEST_CMAKE_ON=		-DBUILD_TESTING=1
+TEST_LIB_DEPENDS=	libboost_thread.so:devel/boost-libs
+
+.include <bsd.port.options.mk>
+
+pre-configure-DOXYGEN-off:
+	${REINPLACE_CMD} -e 's/add_subdirectory(doc)/# No doc/'	\
+		${WRKSRC}/CMakeLists.txt
+
+post-stage:
+	${MKDIR} ${STAGEDIR}${DATADIR}
+	${MV} ${STAGEDIR}${PREFIX}/VERSION ${STAGEDIR}${DATADIR}/
+
+post-stage-DOXYGEN-on:
+	${MV} ${STAGEDIR}${PREFIX}/doc/${PORTNAME}/html ${STAGEDIR}${DOCSDIR}/
+	${RM} -r ${STAGEDIR}${PREFIX}/doc
+
+.include <bsd.port.mk>

Added: head/math/hpcombi/distinfo
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/math/hpcombi/distinfo	Mon Apr  6 18:03:45 2020	(r530915)
@@ -0,0 +1,3 @@
+TIMESTAMP = 1586169423
+SHA256 (hivert-HPCombi-v0.0.6_GH0.tar.gz) = 612d103578c457cc756019b55224fa648350be448715db8a9a0353204648a7eb
+SIZE (hivert-HPCombi-v0.0.6_GH0.tar.gz) = 114779

Added: head/math/hpcombi/pkg-descr
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/math/hpcombi/pkg-descr	Mon Apr  6 18:03:45 2020	(r530915)
@@ -0,0 +1,8 @@
+High Performance Combinatorics in C++ using vector instructions.
+
+SSE and AVX instruction sets allows for very fast manipulation of combinatorial
+objects such as transformations, permutations, boolean matrices of small size.
+The goal of this project is to implement various new algorithms and benchmark
+them on various compiler and architecture.
+
+WWW: https://github.com/hivert/HPCombi

Added: head/math/hpcombi/pkg-plist
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/math/hpcombi/pkg-plist	Mon Apr  6 18:03:45 2020	(r530915)
@@ -0,0 +1,389 @@
+%%DOXYGEN%%%%DOCSDIR%%/CF_8cpp.html
+%%DOXYGEN%%%%DOCSDIR%%/RD_8cpp.html
+%%DOXYGEN%%%%DOCSDIR%%/README_8md.html
+%%DOXYGEN%%%%DOCSDIR%%/Renner_8cpp.html
+%%DOXYGEN%%%%DOCSDIR%%/Trans_8cpp.html
+%%DOXYGEN%%%%DOCSDIR%%/annotated.html
+%%DOXYGEN%%%%DOCSDIR%%/bc_s.png
+%%DOXYGEN%%%%DOCSDIR%%/bdwn.png
+%%DOXYGEN%%%%DOCSDIR%%/bmat8_8hpp.html
+%%DOXYGEN%%%%DOCSDIR%%/bmat8_8hpp_source.html
+%%DOXYGEN%%%%DOCSDIR%%/bmat8__impl_8hpp.html
+%%DOXYGEN%%%%DOCSDIR%%/bmat8__impl_8hpp_source.html
+%%DOXYGEN%%%%DOCSDIR%%/classEqEpu8-members.html
+%%DOXYGEN%%%%DOCSDIR%%/classEqEpu8.html
+%%DOXYGEN%%%%DOCSDIR%%/classHPCombi_1_1BMat8-members.html
+%%DOXYGEN%%%%DOCSDIR%%/classHPCombi_1_1BMat8.html
+%%DOXYGEN%%%%DOCSDIR%%/classes.html
+%%DOXYGEN%%%%DOCSDIR%%/classlibsemigroups_1_1Timer-members.html
+%%DOXYGEN%%%%DOCSDIR%%/classlibsemigroups_1_1Timer.html
+%%DOXYGEN%%%%DOCSDIR%%/closed.png
+%%DOXYGEN%%%%DOCSDIR%%/dir_0835bc40fd3220d56515ab1d9366feca.html
+%%DOXYGEN%%%%DOCSDIR%%/dir_259ffdacfd3254fa8cd2044150a99cf2.html
+%%DOXYGEN%%%%DOCSDIR%%/dir_ca46913aaf8d188a338900ab830ae328.html
+%%DOXYGEN%%%%DOCSDIR%%/doc.png
+%%DOXYGEN%%%%DOCSDIR%%/doxygen.css
+%%DOXYGEN%%%%DOCSDIR%%/doxygen.png
+%%DOXYGEN%%%%DOCSDIR%%/dynsections.js
+%%DOXYGEN%%%%DOCSDIR%%/epu_8hpp.html
+%%DOXYGEN%%%%DOCSDIR%%/epu_8hpp_source.html
+%%DOXYGEN%%%%DOCSDIR%%/epu__impl_8hpp.html
+%%DOXYGEN%%%%DOCSDIR%%/epu__impl_8hpp_source.html
+%%DOXYGEN%%%%DOCSDIR%%/examples.html
+%%DOXYGEN%%%%DOCSDIR%%/files.html
+%%DOXYGEN%%%%DOCSDIR%%/folderclosed.png
+%%DOXYGEN%%%%DOCSDIR%%/folderopen.png
+%%DOXYGEN%%%%DOCSDIR%%/functions.html
+%%DOXYGEN%%%%DOCSDIR%%/functions_b.html
+%%DOXYGEN%%%%DOCSDIR%%/functions_c.html
+%%DOXYGEN%%%%DOCSDIR%%/functions_d.html
+%%DOXYGEN%%%%DOCSDIR%%/functions_e.html
+%%DOXYGEN%%%%DOCSDIR%%/functions_f.html
+%%DOXYGEN%%%%DOCSDIR%%/functions_func.html
+%%DOXYGEN%%%%DOCSDIR%%/functions_func_b.html
+%%DOXYGEN%%%%DOCSDIR%%/functions_func_c.html
+%%DOXYGEN%%%%DOCSDIR%%/functions_func_d.html
+%%DOXYGEN%%%%DOCSDIR%%/functions_func_e.html
+%%DOXYGEN%%%%DOCSDIR%%/functions_func_f.html
+%%DOXYGEN%%%%DOCSDIR%%/functions_func_h.html
+%%DOXYGEN%%%%DOCSDIR%%/functions_func_i.html
+%%DOXYGEN%%%%DOCSDIR%%/functions_func_l.html
+%%DOXYGEN%%%%DOCSDIR%%/functions_func_m.html
+%%DOXYGEN%%%%DOCSDIR%%/functions_func_n.html
+%%DOXYGEN%%%%DOCSDIR%%/functions_func_o.html
+%%DOXYGEN%%%%DOCSDIR%%/functions_func_p.html
+%%DOXYGEN%%%%DOCSDIR%%/functions_func_r.html
+%%DOXYGEN%%%%DOCSDIR%%/functions_func_s.html
+%%DOXYGEN%%%%DOCSDIR%%/functions_func_t.html
+%%DOXYGEN%%%%DOCSDIR%%/functions_func_u.html
+%%DOXYGEN%%%%DOCSDIR%%/functions_func_v.html
+%%DOXYGEN%%%%DOCSDIR%%/functions_func_w.html
+%%DOXYGEN%%%%DOCSDIR%%/functions_func_~.html
+%%DOXYGEN%%%%DOCSDIR%%/functions_h.html
+%%DOXYGEN%%%%DOCSDIR%%/functions_i.html
+%%DOXYGEN%%%%DOCSDIR%%/functions_l.html
+%%DOXYGEN%%%%DOCSDIR%%/functions_m.html
+%%DOXYGEN%%%%DOCSDIR%%/functions_n.html
+%%DOXYGEN%%%%DOCSDIR%%/functions_o.html
+%%DOXYGEN%%%%DOCSDIR%%/functions_p.html
+%%DOXYGEN%%%%DOCSDIR%%/functions_r.html
+%%DOXYGEN%%%%DOCSDIR%%/functions_rela.html
+%%DOXYGEN%%%%DOCSDIR%%/functions_s.html
+%%DOXYGEN%%%%DOCSDIR%%/functions_t.html
+%%DOXYGEN%%%%DOCSDIR%%/functions_type.html
+%%DOXYGEN%%%%DOCSDIR%%/functions_u.html
+%%DOXYGEN%%%%DOCSDIR%%/functions_v.html
+%%DOXYGEN%%%%DOCSDIR%%/functions_vars.html
+%%DOXYGEN%%%%DOCSDIR%%/functions_w.html
+%%DOXYGEN%%%%DOCSDIR%%/functions_~.html
+%%DOXYGEN%%%%DOCSDIR%%/globals.html
+%%DOXYGEN%%%%DOCSDIR%%/globals_defs.html
+%%DOXYGEN%%%%DOCSDIR%%/globals_func.html
+%%DOXYGEN%%%%DOCSDIR%%/globals_vars.html
+%%DOXYGEN%%%%DOCSDIR%%/hierarchy.html
+%%DOXYGEN%%%%DOCSDIR%%/hpcombi_8hpp.html
+%%DOXYGEN%%%%DOCSDIR%%/hpcombi_8hpp_source.html
+%%DOXYGEN%%%%DOCSDIR%%/image_8cpp.html
+%%DOXYGEN%%%%DOCSDIR%%/index.html
+%%DOXYGEN%%%%DOCSDIR%%/jquery.js
+%%DOXYGEN%%%%DOCSDIR%%/menu.js
+%%DOXYGEN%%%%DOCSDIR%%/menudata.js
+%%DOXYGEN%%%%DOCSDIR%%/namespaceHPCombi.html
+%%DOXYGEN%%%%DOCSDIR%%/namespaceHPCombi_1_1power__helper.html
+%%DOXYGEN%%%%DOCSDIR%%/namespacelibsemigroups.html
+%%DOXYGEN%%%%DOCSDIR%%/namespacemembers.html
+%%DOXYGEN%%%%DOCSDIR%%/namespacemembers_func.html
+%%DOXYGEN%%%%DOCSDIR%%/namespacemembers_type.html
+%%DOXYGEN%%%%DOCSDIR%%/namespacemembers_vars.html
+%%DOXYGEN%%%%DOCSDIR%%/namespaces.html
+%%DOXYGEN%%%%DOCSDIR%%/namespacestd.html
+%%DOXYGEN%%%%DOCSDIR%%/nav_f.png
+%%DOXYGEN%%%%DOCSDIR%%/nav_g.png
+%%DOXYGEN%%%%DOCSDIR%%/nav_h.png
+%%DOXYGEN%%%%DOCSDIR%%/open.png
+%%DOXYGEN%%%%DOCSDIR%%/perm16_8hpp.html
+%%DOXYGEN%%%%DOCSDIR%%/perm16_8hpp_source.html
+%%DOXYGEN%%%%DOCSDIR%%/perm16__impl_8hpp.html
+%%DOXYGEN%%%%DOCSDIR%%/perm16__impl_8hpp_source.html
+%%DOXYGEN%%%%DOCSDIR%%/perm__generic_8hpp.html
+%%DOXYGEN%%%%DOCSDIR%%/perm__generic_8hpp_source.html
+%%DOXYGEN%%%%DOCSDIR%%/perm__generic__impl_8hpp.html
+%%DOXYGEN%%%%DOCSDIR%%/perm__generic__impl_8hpp_source.html
+%%DOXYGEN%%%%DOCSDIR%%/power_8hpp.html
+%%DOXYGEN%%%%DOCSDIR%%/power_8hpp_source.html
+%%DOXYGEN%%%%DOCSDIR%%/search/all_0.html
+%%DOXYGEN%%%%DOCSDIR%%/search/all_0.js
+%%DOXYGEN%%%%DOCSDIR%%/search/all_1.html
+%%DOXYGEN%%%%DOCSDIR%%/search/all_1.js
+%%DOXYGEN%%%%DOCSDIR%%/search/all_10.html
+%%DOXYGEN%%%%DOCSDIR%%/search/all_10.js
+%%DOXYGEN%%%%DOCSDIR%%/search/all_11.html
+%%DOXYGEN%%%%DOCSDIR%%/search/all_11.js
+%%DOXYGEN%%%%DOCSDIR%%/search/all_12.html
+%%DOXYGEN%%%%DOCSDIR%%/search/all_12.js
+%%DOXYGEN%%%%DOCSDIR%%/search/all_13.html
+%%DOXYGEN%%%%DOCSDIR%%/search/all_13.js
+%%DOXYGEN%%%%DOCSDIR%%/search/all_14.html
+%%DOXYGEN%%%%DOCSDIR%%/search/all_14.js
+%%DOXYGEN%%%%DOCSDIR%%/search/all_15.html
+%%DOXYGEN%%%%DOCSDIR%%/search/all_15.js
+%%DOXYGEN%%%%DOCSDIR%%/search/all_2.html
+%%DOXYGEN%%%%DOCSDIR%%/search/all_2.js
+%%DOXYGEN%%%%DOCSDIR%%/search/all_3.html
+%%DOXYGEN%%%%DOCSDIR%%/search/all_3.js
+%%DOXYGEN%%%%DOCSDIR%%/search/all_4.html
+%%DOXYGEN%%%%DOCSDIR%%/search/all_4.js
+%%DOXYGEN%%%%DOCSDIR%%/search/all_5.html
+%%DOXYGEN%%%%DOCSDIR%%/search/all_5.js
+%%DOXYGEN%%%%DOCSDIR%%/search/all_6.html
+%%DOXYGEN%%%%DOCSDIR%%/search/all_6.js
+%%DOXYGEN%%%%DOCSDIR%%/search/all_7.html
+%%DOXYGEN%%%%DOCSDIR%%/search/all_7.js
+%%DOXYGEN%%%%DOCSDIR%%/search/all_8.html
+%%DOXYGEN%%%%DOCSDIR%%/search/all_8.js
+%%DOXYGEN%%%%DOCSDIR%%/search/all_9.html
+%%DOXYGEN%%%%DOCSDIR%%/search/all_9.js
+%%DOXYGEN%%%%DOCSDIR%%/search/all_a.html
+%%DOXYGEN%%%%DOCSDIR%%/search/all_a.js
+%%DOXYGEN%%%%DOCSDIR%%/search/all_b.html
+%%DOXYGEN%%%%DOCSDIR%%/search/all_b.js
+%%DOXYGEN%%%%DOCSDIR%%/search/all_c.html
+%%DOXYGEN%%%%DOCSDIR%%/search/all_c.js
+%%DOXYGEN%%%%DOCSDIR%%/search/all_d.html
+%%DOXYGEN%%%%DOCSDIR%%/search/all_d.js
+%%DOXYGEN%%%%DOCSDIR%%/search/all_e.html
+%%DOXYGEN%%%%DOCSDIR%%/search/all_e.js
+%%DOXYGEN%%%%DOCSDIR%%/search/all_f.html
+%%DOXYGEN%%%%DOCSDIR%%/search/all_f.js
+%%DOXYGEN%%%%DOCSDIR%%/search/classes_0.html
+%%DOXYGEN%%%%DOCSDIR%%/search/classes_0.js
+%%DOXYGEN%%%%DOCSDIR%%/search/classes_1.html
+%%DOXYGEN%%%%DOCSDIR%%/search/classes_1.js
+%%DOXYGEN%%%%DOCSDIR%%/search/classes_2.html
+%%DOXYGEN%%%%DOCSDIR%%/search/classes_2.js
+%%DOXYGEN%%%%DOCSDIR%%/search/classes_3.html
+%%DOXYGEN%%%%DOCSDIR%%/search/classes_3.js
+%%DOXYGEN%%%%DOCSDIR%%/search/classes_4.html
+%%DOXYGEN%%%%DOCSDIR%%/search/classes_4.js
+%%DOXYGEN%%%%DOCSDIR%%/search/classes_5.html
+%%DOXYGEN%%%%DOCSDIR%%/search/classes_5.js
+%%DOXYGEN%%%%DOCSDIR%%/search/classes_6.html
+%%DOXYGEN%%%%DOCSDIR%%/search/classes_6.js
+%%DOXYGEN%%%%DOCSDIR%%/search/classes_7.html
+%%DOXYGEN%%%%DOCSDIR%%/search/classes_7.js
+%%DOXYGEN%%%%DOCSDIR%%/search/classes_8.html
+%%DOXYGEN%%%%DOCSDIR%%/search/classes_8.js
+%%DOXYGEN%%%%DOCSDIR%%/search/close.png
+%%DOXYGEN%%%%DOCSDIR%%/search/defines_0.html
+%%DOXYGEN%%%%DOCSDIR%%/search/defines_0.js
+%%DOXYGEN%%%%DOCSDIR%%/search/defines_1.html
+%%DOXYGEN%%%%DOCSDIR%%/search/defines_1.js
+%%DOXYGEN%%%%DOCSDIR%%/search/defines_2.html
+%%DOXYGEN%%%%DOCSDIR%%/search/defines_2.js
+%%DOXYGEN%%%%DOCSDIR%%/search/files_0.html
+%%DOXYGEN%%%%DOCSDIR%%/search/files_0.js
+%%DOXYGEN%%%%DOCSDIR%%/search/files_1.html
+%%DOXYGEN%%%%DOCSDIR%%/search/files_1.js
+%%DOXYGEN%%%%DOCSDIR%%/search/files_2.html
+%%DOXYGEN%%%%DOCSDIR%%/search/files_2.js
+%%DOXYGEN%%%%DOCSDIR%%/search/files_3.html
+%%DOXYGEN%%%%DOCSDIR%%/search/files_3.js
+%%DOXYGEN%%%%DOCSDIR%%/search/files_4.html
+%%DOXYGEN%%%%DOCSDIR%%/search/files_4.js
+%%DOXYGEN%%%%DOCSDIR%%/search/files_5.html
+%%DOXYGEN%%%%DOCSDIR%%/search/files_5.js
+%%DOXYGEN%%%%DOCSDIR%%/search/files_6.html
+%%DOXYGEN%%%%DOCSDIR%%/search/files_6.js
+%%DOXYGEN%%%%DOCSDIR%%/search/files_7.html
+%%DOXYGEN%%%%DOCSDIR%%/search/files_7.js
+%%DOXYGEN%%%%DOCSDIR%%/search/files_8.html
+%%DOXYGEN%%%%DOCSDIR%%/search/files_8.js
+%%DOXYGEN%%%%DOCSDIR%%/search/files_9.html
+%%DOXYGEN%%%%DOCSDIR%%/search/files_9.js
+%%DOXYGEN%%%%DOCSDIR%%/search/functions_0.html
+%%DOXYGEN%%%%DOCSDIR%%/search/functions_0.js
+%%DOXYGEN%%%%DOCSDIR%%/search/functions_1.html
+%%DOXYGEN%%%%DOCSDIR%%/search/functions_1.js
+%%DOXYGEN%%%%DOCSDIR%%/search/functions_10.html
+%%DOXYGEN%%%%DOCSDIR%%/search/functions_10.js
+%%DOXYGEN%%%%DOCSDIR%%/search/functions_11.html
+%%DOXYGEN%%%%DOCSDIR%%/search/functions_11.js
+%%DOXYGEN%%%%DOCSDIR%%/search/functions_12.html
+%%DOXYGEN%%%%DOCSDIR%%/search/functions_12.js
+%%DOXYGEN%%%%DOCSDIR%%/search/functions_13.html
+%%DOXYGEN%%%%DOCSDIR%%/search/functions_13.js
+%%DOXYGEN%%%%DOCSDIR%%/search/functions_2.html
+%%DOXYGEN%%%%DOCSDIR%%/search/functions_2.js
+%%DOXYGEN%%%%DOCSDIR%%/search/functions_3.html
+%%DOXYGEN%%%%DOCSDIR%%/search/functions_3.js
+%%DOXYGEN%%%%DOCSDIR%%/search/functions_4.html
+%%DOXYGEN%%%%DOCSDIR%%/search/functions_4.js
+%%DOXYGEN%%%%DOCSDIR%%/search/functions_5.html
+%%DOXYGEN%%%%DOCSDIR%%/search/functions_5.js
+%%DOXYGEN%%%%DOCSDIR%%/search/functions_6.html
+%%DOXYGEN%%%%DOCSDIR%%/search/functions_6.js
+%%DOXYGEN%%%%DOCSDIR%%/search/functions_7.html
+%%DOXYGEN%%%%DOCSDIR%%/search/functions_7.js
+%%DOXYGEN%%%%DOCSDIR%%/search/functions_8.html
+%%DOXYGEN%%%%DOCSDIR%%/search/functions_8.js
+%%DOXYGEN%%%%DOCSDIR%%/search/functions_9.html
+%%DOXYGEN%%%%DOCSDIR%%/search/functions_9.js
+%%DOXYGEN%%%%DOCSDIR%%/search/functions_a.html
+%%DOXYGEN%%%%DOCSDIR%%/search/functions_a.js
+%%DOXYGEN%%%%DOCSDIR%%/search/functions_b.html
+%%DOXYGEN%%%%DOCSDIR%%/search/functions_b.js
+%%DOXYGEN%%%%DOCSDIR%%/search/functions_c.html
+%%DOXYGEN%%%%DOCSDIR%%/search/functions_c.js
+%%DOXYGEN%%%%DOCSDIR%%/search/functions_d.html
+%%DOXYGEN%%%%DOCSDIR%%/search/functions_d.js
+%%DOXYGEN%%%%DOCSDIR%%/search/functions_e.html
+%%DOXYGEN%%%%DOCSDIR%%/search/functions_e.js
+%%DOXYGEN%%%%DOCSDIR%%/search/functions_f.html
+%%DOXYGEN%%%%DOCSDIR%%/search/functions_f.js
+%%DOXYGEN%%%%DOCSDIR%%/search/mag_sel.png
+%%DOXYGEN%%%%DOCSDIR%%/search/namespaces_0.html
+%%DOXYGEN%%%%DOCSDIR%%/search/namespaces_0.js
+%%DOXYGEN%%%%DOCSDIR%%/search/namespaces_1.html
+%%DOXYGEN%%%%DOCSDIR%%/search/namespaces_1.js
+%%DOXYGEN%%%%DOCSDIR%%/search/namespaces_2.html
+%%DOXYGEN%%%%DOCSDIR%%/search/namespaces_2.js
+%%DOXYGEN%%%%DOCSDIR%%/search/nomatches.html
+%%DOXYGEN%%%%DOCSDIR%%/search/pages_0.html
+%%DOXYGEN%%%%DOCSDIR%%/search/pages_0.js
+%%DOXYGEN%%%%DOCSDIR%%/search/related_0.html
+%%DOXYGEN%%%%DOCSDIR%%/search/related_0.js
+%%DOXYGEN%%%%DOCSDIR%%/search/search.css
+%%DOXYGEN%%%%DOCSDIR%%/search/search.js
+%%DOXYGEN%%%%DOCSDIR%%/search/search_l.png
+%%DOXYGEN%%%%DOCSDIR%%/search/search_m.png
+%%DOXYGEN%%%%DOCSDIR%%/search/search_r.png
+%%DOXYGEN%%%%DOCSDIR%%/search/searchdata.js
+%%DOXYGEN%%%%DOCSDIR%%/search/typedefs_0.html
+%%DOXYGEN%%%%DOCSDIR%%/search/typedefs_0.js
+%%DOXYGEN%%%%DOCSDIR%%/search/typedefs_1.html
+%%DOXYGEN%%%%DOCSDIR%%/search/typedefs_1.js
+%%DOXYGEN%%%%DOCSDIR%%/search/typedefs_2.html
+%%DOXYGEN%%%%DOCSDIR%%/search/typedefs_2.js
+%%DOXYGEN%%%%DOCSDIR%%/search/typedefs_3.html
+%%DOXYGEN%%%%DOCSDIR%%/search/typedefs_3.js
+%%DOXYGEN%%%%DOCSDIR%%/search/typedefs_4.html
+%%DOXYGEN%%%%DOCSDIR%%/search/typedefs_4.js
+%%DOXYGEN%%%%DOCSDIR%%/search/typedefs_5.html
+%%DOXYGEN%%%%DOCSDIR%%/search/typedefs_5.js
+%%DOXYGEN%%%%DOCSDIR%%/search/typedefs_6.html
+%%DOXYGEN%%%%DOCSDIR%%/search/typedefs_6.js
+%%DOXYGEN%%%%DOCSDIR%%/search/variables_0.html
+%%DOXYGEN%%%%DOCSDIR%%/search/variables_0.js
+%%DOXYGEN%%%%DOCSDIR%%/search/variables_1.html
+%%DOXYGEN%%%%DOCSDIR%%/search/variables_1.js
+%%DOXYGEN%%%%DOCSDIR%%/search/variables_2.html
+%%DOXYGEN%%%%DOCSDIR%%/search/variables_2.js
+%%DOXYGEN%%%%DOCSDIR%%/search/variables_3.html
+%%DOXYGEN%%%%DOCSDIR%%/search/variables_3.js
+%%DOXYGEN%%%%DOCSDIR%%/search/variables_4.html
+%%DOXYGEN%%%%DOCSDIR%%/search/variables_4.js
+%%DOXYGEN%%%%DOCSDIR%%/search/variables_5.html
+%%DOXYGEN%%%%DOCSDIR%%/search/variables_5.js
+%%DOXYGEN%%%%DOCSDIR%%/search/variables_6.html
+%%DOXYGEN%%%%DOCSDIR%%/search/variables_6.js
+%%DOXYGEN%%%%DOCSDIR%%/search/variables_7.html
+%%DOXYGEN%%%%DOCSDIR%%/search/variables_7.js
+%%DOXYGEN%%%%DOCSDIR%%/search/variables_8.html
+%%DOXYGEN%%%%DOCSDIR%%/search/variables_8.js
+%%DOXYGEN%%%%DOCSDIR%%/search/variables_9.html
+%%DOXYGEN%%%%DOCSDIR%%/search/variables_9.js
+%%DOXYGEN%%%%DOCSDIR%%/search/variables_a.html
+%%DOXYGEN%%%%DOCSDIR%%/search/variables_a.js
+%%DOXYGEN%%%%DOCSDIR%%/search/variables_b.html
+%%DOXYGEN%%%%DOCSDIR%%/search/variables_b.js
+%%DOXYGEN%%%%DOCSDIR%%/search/variables_c.html
+%%DOXYGEN%%%%DOCSDIR%%/search/variables_c.js
+%%DOXYGEN%%%%DOCSDIR%%/splitbar.png
+%%DOXYGEN%%%%DOCSDIR%%/stringmonoid_8cpp-example.html
+%%DOXYGEN%%%%DOCSDIR%%/stringmonoid_8cpp.html
+%%DOXYGEN%%%%DOCSDIR%%/structHPCombi_1_1PPerm16-members.html
+%%DOXYGEN%%%%DOCSDIR%%/structHPCombi_1_1PPerm16.html
+%%DOXYGEN%%%%DOCSDIR%%/structHPCombi_1_1PPerm16.png
+%%DOXYGEN%%%%DOCSDIR%%/structHPCombi_1_1PTransf16-members.html
+%%DOXYGEN%%%%DOCSDIR%%/structHPCombi_1_1PTransf16.html
+%%DOXYGEN%%%%DOCSDIR%%/structHPCombi_1_1PTransf16.png
+%%DOXYGEN%%%%DOCSDIR%%/structHPCombi_1_1Perm16-members.html
+%%DOXYGEN%%%%DOCSDIR%%/structHPCombi_1_1Perm16.html
+%%DOXYGEN%%%%DOCSDIR%%/structHPCombi_1_1Perm16.png
+%%DOXYGEN%%%%DOCSDIR%%/structHPCombi_1_1PermGeneric-members.html
+%%DOXYGEN%%%%DOCSDIR%%/structHPCombi_1_1PermGeneric.html
+%%DOXYGEN%%%%DOCSDIR%%/structHPCombi_1_1PermGeneric.png
+%%DOXYGEN%%%%DOCSDIR%%/structHPCombi_1_1Transf16-members.html
+%%DOXYGEN%%%%DOCSDIR%%/structHPCombi_1_1Transf16.html
+%%DOXYGEN%%%%DOCSDIR%%/structHPCombi_1_1Transf16.png
+%%DOXYGEN%%%%DOCSDIR%%/structHPCombi_1_1Vect16-members.html
+%%DOXYGEN%%%%DOCSDIR%%/structHPCombi_1_1Vect16.html
+%%DOXYGEN%%%%DOCSDIR%%/structHPCombi_1_1Vect16.png
+%%DOXYGEN%%%%DOCSDIR%%/structHPCombi_1_1VectGeneric-members.html
+%%DOXYGEN%%%%DOCSDIR%%/structHPCombi_1_1VectGeneric.html
+%%DOXYGEN%%%%DOCSDIR%%/structHPCombi_1_1VectGeneric.png
+%%DOXYGEN%%%%DOCSDIR%%/structHPCombi_1_1power__helper_1_1Monoid-members.html
+%%DOXYGEN%%%%DOCSDIR%%/structHPCombi_1_1power__helper_1_1Monoid.html
+%%DOXYGEN%%%%DOCSDIR%%/structHPCombi_1_1power__helper_1_1Monoid_3_01Perm16_01_4-members.html
+%%DOXYGEN%%%%DOCSDIR%%/structHPCombi_1_1power__helper_1_1Monoid_3_01Perm16_01_4.html
+%%DOXYGEN%%%%DOCSDIR%%/structHPCombi_1_1power__helper_1_1Monoid_3_01std_1_1string_01_4-members.html
+%%DOXYGEN%%%%DOCSDIR%%/structHPCombi_1_1power__helper_1_1Monoid_3_01std_1_1string_01_4.html
+%%DOXYGEN%%%%DOCSDIR%%/structstd_1_1equal__to_3_01HPCombi_1_1epu8_01_4-members.html
+%%DOXYGEN%%%%DOCSDIR%%/structstd_1_1equal__to_3_01HPCombi_1_1epu8_01_4.html
+%%DOXYGEN%%%%DOCSDIR%%/structstd_1_1hash_3_01HPCombi_1_1BMat8_01_4-members.html
+%%DOXYGEN%%%%DOCSDIR%%/structstd_1_1hash_3_01HPCombi_1_1BMat8_01_4.html
+%%DOXYGEN%%%%DOCSDIR%%/structstd_1_1hash_3_01HPCombi_1_1PPerm16_01_4-members.html
+%%DOXYGEN%%%%DOCSDIR%%/structstd_1_1hash_3_01HPCombi_1_1PPerm16_01_4.html
+%%DOXYGEN%%%%DOCSDIR%%/structstd_1_1hash_3_01HPCombi_1_1PTransf16_01_4-members.html
+%%DOXYGEN%%%%DOCSDIR%%/structstd_1_1hash_3_01HPCombi_1_1PTransf16_01_4.html
+%%DOXYGEN%%%%DOCSDIR%%/structstd_1_1hash_3_01HPCombi_1_1Perm16_01_4-members.html
+%%DOXYGEN%%%%DOCSDIR%%/structstd_1_1hash_3_01HPCombi_1_1Perm16_01_4.html
+%%DOXYGEN%%%%DOCSDIR%%/structstd_1_1hash_3_01HPCombi_1_1PermGeneric_3_01__Size_00_01Expo_01_4_01_4-members.html
+%%DOXYGEN%%%%DOCSDIR%%/structstd_1_1hash_3_01HPCombi_1_1PermGeneric_3_01__Size_00_01Expo_01_4_01_4.html
+%%DOXYGEN%%%%DOCSDIR%%/structstd_1_1hash_3_01HPCombi_1_1Transf16_01_4-members.html
+%%DOXYGEN%%%%DOCSDIR%%/structstd_1_1hash_3_01HPCombi_1_1Transf16_01_4.html
+%%DOXYGEN%%%%DOCSDIR%%/structstd_1_1hash_3_01HPCombi_1_1Vect16_01_4-members.html
+%%DOXYGEN%%%%DOCSDIR%%/structstd_1_1hash_3_01HPCombi_1_1Vect16_01_4.html
+%%DOXYGEN%%%%DOCSDIR%%/structstd_1_1hash_3_01HPCombi_1_1VectGeneric_3_01__Size_00_01Expo_01_4_01_4-members.html
+%%DOXYGEN%%%%DOCSDIR%%/structstd_1_1hash_3_01HPCombi_1_1VectGeneric_3_01__Size_00_01Expo_01_4_01_4.html
+%%DOXYGEN%%%%DOCSDIR%%/structstd_1_1hash_3_01HPCombi_1_1epu8_01_4-members.html
+%%DOXYGEN%%%%DOCSDIR%%/structstd_1_1hash_3_01HPCombi_1_1epu8_01_4.html
+%%DOXYGEN%%%%DOCSDIR%%/structstd_1_1less_3_01HPCombi_1_1epu8_01_4-members.html
+%%DOXYGEN%%%%DOCSDIR%%/structstd_1_1less_3_01HPCombi_1_1epu8_01_4.html
+%%DOXYGEN%%%%DOCSDIR%%/structstd_1_1not__equal__to_3_01HPCombi_1_1epu8_01_4-members.html
+%%DOXYGEN%%%%DOCSDIR%%/structstd_1_1not__equal__to_3_01HPCombi_1_1epu8_01_4.html
+%%DOXYGEN%%%%DOCSDIR%%/sync_off.png
+%%DOXYGEN%%%%DOCSDIR%%/sync_on.png
+%%DOXYGEN%%%%DOCSDIR%%/tab_a.png
+%%DOXYGEN%%%%DOCSDIR%%/tab_b.png
+%%DOXYGEN%%%%DOCSDIR%%/tab_h.png
+%%DOXYGEN%%%%DOCSDIR%%/tab_s.png
+%%DOXYGEN%%%%DOCSDIR%%/tabs.css
+%%DOXYGEN%%%%DOCSDIR%%/testtools_8hpp.html
+%%DOXYGEN%%%%DOCSDIR%%/testtools_8hpp_source.html
+%%DOXYGEN%%%%DOCSDIR%%/timer_8h.html
+%%DOXYGEN%%%%DOCSDIR%%/timer_8h_source.html
+%%DOXYGEN%%%%DOCSDIR%%/vect16_8hpp.html
+%%DOXYGEN%%%%DOCSDIR%%/vect16_8hpp_source.html
+%%DOXYGEN%%%%DOCSDIR%%/vect__generic_8hpp.html
+%%DOXYGEN%%%%DOCSDIR%%/vect__generic_8hpp_source.html
+include/HPCombi/HPCombi-config.h
+include/HPCombi/bmat8.hpp
+include/HPCombi/bmat8_impl.hpp
+include/HPCombi/epu.hpp
+include/HPCombi/epu_impl.hpp
+include/HPCombi/fallback/gcdlcm.hpp
+include/HPCombi/fallback/seq.hpp
+include/HPCombi/hpcombi.hpp
+include/HPCombi/perm16.hpp
+include/HPCombi/perm16_impl.hpp
+include/HPCombi/perm_generic.hpp
+include/HPCombi/perm_generic_impl.hpp
+include/HPCombi/power.hpp
+include/HPCombi/testtools.hpp
+include/HPCombi/vect16.hpp
+include/HPCombi/vect_generic.hpp
+%%DATADIR%%/LICENSE
+%%DATADIR%%/README.md
+%%DATADIR%%/VERSION
+%%DATADIR%%/list_intrin.txt

Added: head/math/libsemigroups/Makefile
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/math/libsemigroups/Makefile	Mon Apr  6 18:03:45 2020	(r530915)
@@ -0,0 +1,44 @@
+# Created by: thierry@pompo.net
+# $FreeBSD$
+
+PORTNAME=	libsemigroups
+PORTVERSION=	1.0.7
+DISTVERSIONPREFIX=	v
+CATEGORIES=	math
+
+MAINTAINER=	thierry@FreeBSD.org
+COMMENT=	C++ library for semigroups and monoids
+
+LICENSE=	GPLv3
+
+BUILD_DEPENDS=	libfmt>0:devel/libfmt	\
+		HPCombi>0:math/hpcombi
+
+USE_GITHUB=	yes
+
+USES=		autoreconf compiler:c++11-lang libtool pkgconfig
+
+GNU_CONFIGURE=	yes
+CONFIGURE_ARGS=	--with-external-fmt=yes
+USE_LDCONFIG=	yes
+TEST_TARGET=	check
+
+.include <bsd.port.pre.mk>
+
+.if ${ARCH} != amd64 && ${ARCH} != i386
+CONFIGURE_ARGS+=	--disable-hpcombi
+.endif
+
+pre-configure:
+.if ${ARCH} == amd64 || ${ARCH} == i386
+	${REINPLACE_CMD} -e 's|$$srcdir/extern/HPCombi|${LOCALBASE}/share/HPCombi|'	\
+		${WRKSRC}/m4/ax_check_hpcombi.m4
+	${REINPLACE_CMD} -e 's|extern/HPCombi/include|${LOCALBASE}/include/HPCombi|'	\
+		${WRKSRC}/Makefile.am
+.endif
+	${REINPLACE_CMD} -e 's|extern/HPCombi/include|HPCombi|'	\
+		${WRKSRC}/include/libsemigroups/hpcombi.hpp
+	${REINPLACE_CMD} -e 's|fmtinclude_HEADERS|#fmtinclude_HEADERS|'	\
+		${WRKSRC}/Makefile.am
+
+.include <bsd.port.post.mk>

Added: head/math/libsemigroups/distinfo
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/math/libsemigroups/distinfo	Mon Apr  6 18:03:45 2020	(r530915)
@@ -0,0 +1,3 @@
+TIMESTAMP = 1586166067
+SHA256 (libsemigroups-libsemigroups-v1.0.7_GH0.tar.gz) = 301762f45275fc4ac101c8c399bde61eed5527e217f566f8fd230558b9a2992d
+SIZE (libsemigroups-libsemigroups-v1.0.7_GH0.tar.gz) = 810473

Added: head/math/libsemigroups/pkg-descr
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/math/libsemigroups/pkg-descr	Mon Apr  6 18:03:45 2020	(r530915)
@@ -0,0 +1,11 @@
+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.
+
+WWW: https://libsemigroups.readthedocs.io/en/latest/
+WWW: https://github.com/libsemigroups/libsemigroups

Added: head/math/libsemigroups/pkg-plist
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/math/libsemigroups/pkg-plist	Mon Apr  6 18:03:45 2020	(r530915)
@@ -0,0 +1,65 @@
+include/libsemigroups/action.hpp
+include/libsemigroups/adapters.hpp
+include/libsemigroups/blocks.hpp
+include/libsemigroups/bmat8.hpp
+include/libsemigroups/bmat8_impl.hpp
+include/libsemigroups/bruidhinn-traits.hpp
+include/libsemigroups/cong-intf.hpp
+include/libsemigroups/cong-pair-impl.hpp
+include/libsemigroups/cong-pair.hpp
+include/libsemigroups/cong-wrap.hpp
+include/libsemigroups/cong.hpp
+include/libsemigroups/constants.hpp
+include/libsemigroups/containers.hpp
+include/libsemigroups/coset.hpp
+include/libsemigroups/digraph.hpp
+include/libsemigroups/element-helper.hpp
+include/libsemigroups/element.hpp
+include/libsemigroups/epu.hpp
+include/libsemigroups/epu_impl.hpp
+include/libsemigroups/forest.hpp
+include/libsemigroups/fpsemi-intf.hpp
+include/libsemigroups/fpsemi.hpp
+include/libsemigroups/froidure-pin-base.hpp
+include/libsemigroups/froidure-pin-impl.hpp
+include/libsemigroups/froidure-pin.hpp
+include/libsemigroups/function-ref.hpp
+include/libsemigroups/gcdlcm.hpp
+include/libsemigroups/hpcombi.hpp
+include/libsemigroups/int-range.hpp
+include/libsemigroups/iterator.hpp
+include/libsemigroups/kbe.hpp
+include/libsemigroups/knuth-bendix.hpp
+include/libsemigroups/libsemigroups-config.hpp
+include/libsemigroups/libsemigroups-debug.hpp
+include/libsemigroups/libsemigroups-exception.hpp
+include/libsemigroups/libsemigroups.hpp
+include/libsemigroups/obvinf.hpp
+include/libsemigroups/order.hpp
+include/libsemigroups/perm16.hpp
+include/libsemigroups/perm16_impl.hpp
+include/libsemigroups/perm_generic.hpp
+include/libsemigroups/perm_generic_impl.hpp
+include/libsemigroups/power.hpp
+include/libsemigroups/race.hpp
+include/libsemigroups/report.hpp
+include/libsemigroups/runner.hpp
+include/libsemigroups/schreier-sims.hpp
+include/libsemigroups/semiring.hpp
+include/libsemigroups/seq.hpp
+include/libsemigroups/stl.hpp
+include/libsemigroups/string.hpp
+include/libsemigroups/tce.hpp
+include/libsemigroups/testtools.hpp
+include/libsemigroups/timer.hpp
+include/libsemigroups/todd-coxeter.hpp
+include/libsemigroups/transf.hpp
+include/libsemigroups/types.hpp
+include/libsemigroups/uf.hpp
+include/libsemigroups/vect16.hpp
+include/libsemigroups/vect_generic.hpp
+lib/libsemigroups.a
+lib/libsemigroups.so
+lib/libsemigroups.so.1
+lib/libsemigroups.so.1.0.0
+libdata/pkgconfig/libsemigroups.pc



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202004061803.036I3kJU019187>