git: 136715764ee3 - main - math/py-cryptominisat: Update to 5.11.4

The branch main has been updated by arrowd:

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

commit 136715764ee3717cc4efa9eafa2ee34a3ab55792
Author:     Gleb Popov <arrowd@FreeBSD.org>
AuthorDate: 2022-10-15 15:48:17 +0000
Commit:     Gleb Popov <arrowd@FreeBSD.org>
CommitDate: 2022-10-15 15:48:57 +0000

    math/py-cryptominisat: Update to 5.11.4
---
 math/py-cryptominisat/Makefile | 20 +++-----------------
 math/py-cryptominisat/distinfo |  6 +++---
 2 files changed, 6 insertions(+), 20 deletions(-)

diff --git a/math/py-cryptominisat/Makefile b/math/py-cryptominisat/Makefile
index c01656a377b1..5c92a5ffa44e 100644
--- a/math/py-cryptominisat/Makefile
+++ b/math/py-cryptominisat/Makefile
@@ -1,6 +1,5 @@
 PORTNAME=	cryptominisat
-DISTVERSION=	5.8.0
-PORTREVISION=	1
+DISTVERSION=	5.11.4
 CATEGORIES=	math python
 PKGNAMEPREFIX=	${PYTHON_PKGNAMEPREFIX}
 
@@ -10,8 +9,8 @@ WWW=		https://github.com/msoos/cryptominisat
 
 LICENSE=	MIT LGPL21
 LICENSE_COMB=	multi
-LICENSE_FILE_LGPL21=	${WRKSRC}/../LICENSE.txt
-LICENSE_FILE_MIT=	${WRKSRC}/../LICENSE.txt
+LICENSE_FILE_LGPL21=	${WRKSRC}/LICENSE.txt
+LICENSE_FILE_MIT=	${WRKSRC}/LICENSE.txt
 
 LIB_DEPENDS=	libcryptominisat5.so:math/cryptominisat
 
@@ -21,19 +20,6 @@ USE_GITHUB=	yes
 
 GH_ACCOUNT=	msoos
 
-WRKSRC_SUBDIR=	python
-
-post-patch:
-	${REINPLACE_CMD} -e 's|@PROJECT_VERSION@|${PORTVERSION}|' \
-		-e 's|$${CMAKE_C_COMPILER}|${CC}|' \
-		-e 's|$${CMAKE_CXX_COMPILER}|${CXX}|' \
-		-e 's|$${PY_C_CONFIG}||' \
-		-e 's|$${PY_LD_CONFIG}||' \
-		-e 's|$${CMS_FULL_VERSION}|${PORTVERSION}|' \
-		-e 's|$${APPLE}||' ${WRKSRC}/setup.py.in
-	${CP} ${WRKSRC}/setup.py.in ${WRKSRC}/setup.py
-	${CP} ${WRKSRC}/src/pycryptosat.cpp.in ${WRKSRC}/src/pycryptosat.cpp
-
 post-install:
 	${STRIP_CMD} ${STAGEDIR}${PYTHONPREFIX_SITELIBDIR}/pycryptosat*.so
 
diff --git a/math/py-cryptominisat/distinfo b/math/py-cryptominisat/distinfo
index c49eb7f98c01..f50c3c436244 100644
--- a/math/py-cryptominisat/distinfo
+++ b/math/py-cryptominisat/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1603119332
-SHA256 (msoos-cryptominisat-5.8.0_GH0.tar.gz) = 50153025c8503ef32f32fff847ee24871bb0fc1f0b13e17fe01aa762923f6d94
-SIZE (msoos-cryptominisat-5.8.0_GH0.tar.gz) = 943785
+TIMESTAMP = 1665824399
+SHA256 (msoos-cryptominisat-5.11.4_GH0.tar.gz) = abeecb29a73e8566ae6e9afd229ec991d95b138985565b2378af95ef1ce1d317
+SIZE (msoos-cryptominisat-5.11.4_GH0.tar.gz) = 1044845