git: e836df42f75c - main - math/cryptominisat: Update to 5.11.4

The branch main has been updated by arrowd:

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

commit e836df42f75cbdb4798b63c8ccbaa19960a883f3
Author:     Gleb Popov <arrowd@FreeBSD.org>
AuthorDate: 2022-10-15 15:47:32 +0000
Commit:     Gleb Popov <arrowd@FreeBSD.org>
CommitDate: 2022-10-15 15:48:57 +0000

    math/cryptominisat: Update to 5.11.4
---
 math/cryptominisat/Makefile                   |  3 +-
 math/cryptominisat/distinfo                   |  6 ++--
 math/cryptominisat/pkg-plist                  |  2 +-
 math/py-cryptominisat/files/patch-setup.py.in | 47 ---------------------------
 4 files changed, 5 insertions(+), 53 deletions(-)

diff --git a/math/cryptominisat/Makefile b/math/cryptominisat/Makefile
index ebe5df3cb2df..dc65004cf85c 100644
--- a/math/cryptominisat/Makefile
+++ b/math/cryptominisat/Makefile
@@ -1,6 +1,5 @@
 PORTNAME=	cryptominisat
-DISTVERSION=	5.8.0
-PORTREVISION=	2
+DISTVERSION=	5.11.4
 CATEGORIES=	math
 
 MAINTAINER=	arrowd@FreeBSD.org
diff --git a/math/cryptominisat/distinfo b/math/cryptominisat/distinfo
index 4a418bdbf798..d125993e4f6e 100644
--- a/math/cryptominisat/distinfo
+++ b/math/cryptominisat/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1603118756
-SHA256 (msoos-cryptominisat-5.8.0_GH0.tar.gz) = 50153025c8503ef32f32fff847ee24871bb0fc1f0b13e17fe01aa762923f6d94
-SIZE (msoos-cryptominisat-5.8.0_GH0.tar.gz) = 943785
+TIMESTAMP = 1665824287
+SHA256 (msoos-cryptominisat-5.11.4_GH0.tar.gz) = abeecb29a73e8566ae6e9afd229ec991d95b138985565b2378af95ef1ce1d317
+SIZE (msoos-cryptominisat-5.11.4_GH0.tar.gz) = 1044845
diff --git a/math/cryptominisat/pkg-plist b/math/cryptominisat/pkg-plist
index be1e6ccdc47b..57be1f56c873 100644
--- a/math/cryptominisat/pkg-plist
+++ b/math/cryptominisat/pkg-plist
@@ -9,4 +9,4 @@ lib/cmake/cryptominisat5/cryptominisat5Config.cmake
 lib/cmake/cryptominisat5/cryptominisat5Targets-%%CMAKE_BUILD_TYPE%%.cmake
 lib/cmake/cryptominisat5/cryptominisat5Targets.cmake
 lib/libcryptominisat5.so
-lib/libcryptominisat5.so.5.8
+lib/libcryptominisat5.so.5.11
diff --git a/math/py-cryptominisat/files/patch-setup.py.in b/math/py-cryptominisat/files/patch-setup.py.in
deleted file mode 100644
index a78c83ac1740..000000000000
--- a/math/py-cryptominisat/files/patch-setup.py.in
+++ /dev/null
@@ -1,47 +0,0 @@
---- setup.py.in.orig	2020-07-06 21:45:41 UTC
-+++ setup.py.in
-@@ -27,7 +27,7 @@ import sys
- import os
- import platform
- from distutils.core import setup, Extension
--from distutils import sysconfig
-+import sysconfig
- from distutils.cmd import Command
- 
- __PACKAGE_VERSION__ = "0.2.0"
-@@ -59,8 +59,8 @@ def _init_posix(init):
-     Forces g++ instead of gcc on most systems
-     credits to eric jones (eric@enthought.com) (found at Google Groups)
-     """
--    def wrapper():
--        init()
-+    def wrapper(vars):
-+        init(vars)
- 
-         config_vars = sysconfig.get_config_vars()  # by reference
-         if config_vars["MACHDEP"].startswith("sun"):
-@@ -119,12 +119,12 @@ else:
- 
- modules = dict(
-     name = "pycryptosat",
--    sources = ["${CMAKE_CURRENT_BINARY_DIR}/src/pycryptosat.cpp"],
-+    sources = ["src/pycryptosat.cpp"],
-     define_macros = [('LIBRARY_VERSION', '"' + __LIBRARY_VERSION__ + '"')],
--    extra_compile_args = cconf + ['-I${PROJECT_SOURCE_DIR}', '-I${PROJECT_BINARY_DIR}/cmsat5-src'],
-+    extra_compile_args = cconf + ['-I/usr/local/include', '-I../cmsat5-src', '-xc++'],
-     extra_link_args = extra_link_args,
-     language = "c++",
--    library_dirs=['.', '${PROJECT_BINARY_DIR}/lib', '${PROJECT_BINARY_DIR}/lib/${CMAKE_BUILD_TYPE}'],
-+    library_dirs=['.', '/usr/local/lib'],
-     runtime_library_dirs=['${CMAKE_INSTALL_PREFIX}/${CMAKE_INSTALL_LIBDIR}'],
-     libraries = [libname]
- )
-@@ -153,7 +153,7 @@ setup(
-     description = "Bindings to CryptoMiniSat {} (a SAT solver)".\
-         format(__LIBRARY_VERSION__),
- #    py_modules = ['pycryptosat'],
--    long_description = open('${CMAKE_CURRENT_SOURCE_DIR}/README.rst').read(),
-+    long_description = open('README.rst').read(),
-     cmdclass={
-         'test': TestCommand
-     }