git: 8945e333ef7d - main - math/plantri: New port: Plantri and fullgen are programs to generate planar graph

[Yuri Victorovich]

The branch main has been updated by yuri:

URL: https://cgit.FreeBSD.org/ports/commit/?id=8945e333ef7d80bc0465f6230334dd121cffa0e1

commit 8945e333ef7d80bc0465f6230334dd121cffa0e1
Author:     Yuri Victorovich <yuri at FreeBSD.org>
AuthorDate: 2021-09-04 02:19:27 +0000
Commit:     Yuri Victorovich <yuri at FreeBSD.org>
CommitDate: 2021-09-04 03:58:20 +0000

    math/plantri: New port: Plantri and fullgen are programs to generate planar graph
---
 math/Makefile          |  1 +
 math/plantri/Makefile  | 20 ++++++++++++++++++++
 math/plantri/distinfo  |  3 +++
 math/plantri/pkg-descr | 12 ++++++++++++
 4 files changed, 36 insertions(+)

diff --git a/math/Makefile b/math/Makefile
index f0a40e3353b5..ce8ba38c0e5a 100644
--- a/math/Makefile
+++ b/math/Makefile
@@ -759,6 +759,7 @@
     SUBDIR += picosat
     SUBDIR += piranha
     SUBDIR += planarity
+    SUBDIR += plantri
     SUBDIR += plman
     SUBDIR += ploticus
     SUBDIR += ploticus-nox11
diff --git a/math/plantri/Makefile b/math/plantri/Makefile
new file mode 100644
index 000000000000..291d494a0fe6
--- /dev/null
+++ b/math/plantri/Makefile
@@ -0,0 +1,20 @@
+PORTNAME=	plantri
+DISTVERSION=	5.2
+CATEGORIES=	math
+MASTER_SITES=	http://users.cecs.anu.edu.au/~bdm/plantri/
+DISTNAME=	${PORTNAME}${DISTVERSION:S/.//}
+
+MAINTAINER=	yuri at FreeBSD.org
+COMMENT=	Plantri and fullgen are programs to generate planar graph
+
+MAKEFILE=	makefile
+MAKE_ARGS=	CC=${CC} CFLAGS="${CFLAGS}"
+
+PLIST_FILES=	bin/plantri \
+		bin/fullgen
+
+do-install:
+	${INSTALL_PROGRAM} ${WRKSRC}/plantri ${STAGEDIR}${PREFIX}/bin
+	${INSTALL_PROGRAM} ${WRKSRC}/fullgen ${STAGEDIR}${PREFIX}/bin
+
+.include <bsd.port.mk>
diff --git a/math/plantri/distinfo b/math/plantri/distinfo
new file mode 100644
index 000000000000..8c264eacf92f
--- /dev/null
+++ b/math/plantri/distinfo
@@ -0,0 +1,3 @@
+TIMESTAMP = 1630721063
+SHA256 (plantri52.tar.gz) = 82bcb29f7aeb25eb9668aa6032ef27e35ea94125dc21d319f3664da06b5b8b12
+SIZE (plantri52.tar.gz) = 212765
diff --git a/math/plantri/pkg-descr b/math/plantri/pkg-descr
new file mode 100644
index 000000000000..97cf889e439a
--- /dev/null
+++ b/math/plantri/pkg-descr
@@ -0,0 +1,12 @@
+plantri and fullgen are programs for generation of certain types of planar
+graph.
+
+Exactly one member of each isomorphism class is output, using an amount of
+memory almost independent of the number of graphs produced. This, together with
+the exceptionally fast operation and careful validation, makes the program
+suitable for processing very large numbers of graphs.
+
+Isomorphisms are defined with respect to the embeddings, so in some cases
+outputs may be isomorphic as abstract graphs.
+
+WWW: https://users.cecs.anu.edu.au/~bdm/plantri/