libpetanque: new port in math

math/libpetanque/Portfile

@@ -0,0 +1,29 @@
+# -*- coding: utf-8; mode: tcl; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- vim:fenc=utf-8:ft=tcl:et:sw=4:ts=4:sts=4
+
+PortSystem          1.0
+PortGroup           cmake 1.1
+PortGroup           github 1.0
+
+github.setup        quarkslab arybo 1.1.0 release-
+name                libpetanque
+revision            0
+categories          math
+license             BSD
+maintainers         {@barracuda156 gmail.com:vital.had} openmaintainer
+description         Library that helps manipulate symbolic boolean expressions
+long_description    Manipulation, canonicalization and identification \
+                    of mixed boolean-arithmetic symbolic expressions.
+checksums           rmd160  61fdd1497b0f01613d2ad6a003ddaf09083c86ff \
+                    sha256  8a3d5ac2c7f595848404480732e57cf0228cedc60f481cbf080fa6c0745c171a \
+                    size    941087
+
+compiler.cxx_standard 2014
+
+cmake.source_dir    ${worksrcpath}/petanque
+
+# pybind11.h: error: invalid use of incomplete type 'PyFrameObject' {aka 'struct _frame'}
+# Passing -DPYTHON_BINDINGS_ENABLED=OFF to configure gets ignored, therefore using a patch:
+patchfiles          patch-no-bindings.diff
+
+test.run            yes
+test.cmd            ctest

math/libpetanque/files/patch-no-bindings.diff

@@ -0,0 +1,11 @@
+--- petanque/CMakeLists.txt.orig	2020-03-29 01:16:21.000000000 +0700
++++ petanque/CMakeLists.txt	2022-12-29 03:25:38.000000000 +0700
+@@ -16,7 +16,7 @@
+ include_directories(${CMAKE_SOURCE_DIR}/third-party)
+ 
+ add_subdirectory(src)
+-add_subdirectory(bindings)
++
+ if (NOT (DEFINED NO_TESTS OR NO_TESTS))
+ 	add_subdirectory(tests)
+ endif()