From 0cdff5286691c8e643becc339719f20d03cc89e6 Mon Sep 17 00:00:00 2001
From: Muhammad Moinur Rahman <moin@bofh.im>
Date: Wed, 7 May 2025 21:04:48 +0200
Subject: [PATCH] math/petanque: Remove port

Niche use case, not aligned with broad server application needs
---
 .portsignore                             |  1 +
 math/Makefile                            |  1 -
 math/petanque/Makefile                   | 25 ------------------------
 math/petanque/distinfo                   |  3 ---
 math/petanque/files/patch-CMakeLists.txt | 13 ------------
 math/petanque/pkg-descr                  |  1 -
 math/petanque/pkg-plist                  | 13 ------------
 7 files changed, 1 insertion(+), 56 deletions(-)
 delete mode 100644 math/petanque/Makefile
 delete mode 100644 math/petanque/distinfo
 delete mode 100644 math/petanque/files/patch-CMakeLists.txt
 delete mode 100644 math/petanque/pkg-descr
 delete mode 100644 math/petanque/pkg-plist

diff --git a/.portsignore b/.portsignore
index ea61a4bb1bb9..adf9312223af 100644
--- a/.portsignore
+++ b/.portsignore
@@ -4983,6 +4983,7 @@ math/pcalc
 math/pdal
 math/pear-Math_Combinatorics
 math/perlinnoise
+math/petanque
 math/petiga
 math/plplot
 math/poly2tri
diff --git a/math/Makefile b/math/Makefile
index 4c74e55e2fe1..59796c2e44bd 100644
--- a/math/Makefile
+++ b/math/Makefile
@@ -182,7 +182,6 @@
     SUBDIR += pear-Math_BigInteger
     SUBDIR += pecl-bitset
     SUBDIR += permlib
-    SUBDIR += petanque
     SUBDIR += pffft
     SUBDIR += php81-bcmath
     SUBDIR += php81-gmp
diff --git a/math/petanque/Makefile b/math/petanque/Makefile
deleted file mode 100644
index 02bc8f8d1093..000000000000
--- a/math/petanque/Makefile
+++ /dev/null
@@ -1,25 +0,0 @@
-PORTNAME=	petanque
-DISTVERSIONPREFIX=	release-
-DISTVERSION=	1.1.0
-CATEGORIES=	math
-
-MAINTAINER=	yuri@FreeBSD.org
-COMMENT=	Library that helps manipulate symbolic boolean expressions
-WWW=		https://github.com/quarkslab/arybo/tree/master/petanque
-
-LICENSE=	BSD3CLAUSE
-LICENSE_FILE=	${WRKSRC}/LICENSE.txt
-
-USES=		cmake:testing compiler:c++14-lang
-USE_LDCONFIG=	yes
-
-USE_GITHUB=	yes
-GH_ACCOUNT=	quarkslab
-GH_PROJECT=	arybo
-
-WRKSRC_SUBDIR=	${PORTNAME}
-
-CMAKE_ON=	BUILD_SHARED_LIBS
-CMAKE_TESTING_ON=	WITH_TESTS # tests fail to find TBB, see https://github.com/quarkslab/arybo/issues/29
-
-.include <bsd.port.mk>
diff --git a/math/petanque/distinfo b/math/petanque/distinfo
deleted file mode 100644
index 86999650e0ba..000000000000
--- a/math/petanque/distinfo
+++ /dev/null
@@ -1,3 +0,0 @@
-TIMESTAMP = 1632891698
-SHA256 (quarkslab-arybo-release-1.1.0_GH0.tar.gz) = 96749f152e366c16803c9239e05d15cc9d3f1c156203064519c325be66a57acb
-SIZE (quarkslab-arybo-release-1.1.0_GH0.tar.gz) = 940821
diff --git a/math/petanque/files/patch-CMakeLists.txt b/math/petanque/files/patch-CMakeLists.txt
deleted file mode 100644
index 1b221a8caa89..000000000000
--- a/math/petanque/files/patch-CMakeLists.txt
+++ /dev/null
@@ -1,13 +0,0 @@
---- CMakeLists.txt.orig	2020-03-28 18:16:21 UTC
-+++ CMakeLists.txt
-@@ -16,8 +16,8 @@ include_directories(${Boost_INCLUDE_DIRS})
- include_directories(${CMAKE_SOURCE_DIR}/third-party)
- 
- add_subdirectory(src)
--add_subdirectory(bindings)
--if (NOT (DEFINED NO_TESTS OR NO_TESTS))
-+#add_subdirectory(bindings)
-+if (WITH_TESTS)
- 	add_subdirectory(tests)
- endif()
- if (NOT (DEFINED NO_TOOLS OR NO_TOOLS))
diff --git a/math/petanque/pkg-descr b/math/petanque/pkg-descr
deleted file mode 100644
index 7367ac125750..000000000000
--- a/math/petanque/pkg-descr
+++ /dev/null
@@ -1 +0,0 @@
-petanque is a library that helps manipulate symbolic boolean expressions.
diff --git a/math/petanque/pkg-plist b/math/petanque/pkg-plist
deleted file mode 100644
index b3ac0ccda0bc..000000000000
--- a/math/petanque/pkg-plist
+++ /dev/null
@@ -1,13 +0,0 @@
-include/pa/analyses.h
-include/pa/app.h
-include/pa/bitfield.h
-include/pa/exprs.h
-include/pa/matrix.h
-include/pa/prettyprinter.h
-include/pa/subs.h
-include/pa/symbols.h
-include/pa/syms_hist.h
-include/pa/syms_set.h
-include/pa/traits.h
-include/pa/vector.h
-lib/libpetanque.so