git: 2d361fb61589 - main - math/boolector: update 3.2.2 → 3.2.3

The branch main has been updated by yuri:

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

commit 2d361fb615890c1dc45998b1f9cbc5e24da6f5ab
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2023-11-05 17:51:50 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2023-11-05 17:51:50 +0000

    math/boolector: update 3.2.2 → 3.2.3
    
    Reported by:    portscout
---
 math/boolector/Makefile                   | 17 ++++-------------
 math/boolector/distinfo                   |  6 +++---
 math/boolector/files/patch-CMakeLists.txt | 29 -----------------------------
 3 files changed, 7 insertions(+), 45 deletions(-)

diff --git a/math/boolector/Makefile b/math/boolector/Makefile
index 9bc42a36a4be..67612a6808f0 100644
--- a/math/boolector/Makefile
+++ b/math/boolector/Makefile
@@ -1,6 +1,5 @@
 PORTNAME=	boolector
-DISTVERSION=	3.2.2
-PORTREVISION=	2
+DISTVERSION=	3.2.3
 CATEGORIES=	math
 
 MAINTAINER=	yuri@FreeBSD.org
@@ -19,7 +18,7 @@ LIB_DEPENDS=	libbtor2parser.so:math/btor2tools \
 		libgmp.so:math/gmp
 TEST_DEPENDS=	bash:shells/bash
 
-USES=		cmake:noninja compiler:c++11-lang cpe python:test # ninja fails to build tests
+USES=		cmake:noninja,testing compiler:c++11-lang cpe python:test # ninja fails to build tests
 
 CPE_VENDOR=	boolector_project
 
@@ -28,16 +27,8 @@ GH_ACCOUNT=	Boolector
 
 CMAKE_ON=	BUILD_SHARED_LIBS \
 		USE_GMP
+CMAKE_OFF=	TESTING
+CMAKE_TESTING_ON=	TESTING # tests fail to comile, see https://github.com/Boolector/boolector/issues/216
 CMAKE_ARGS=	-DCaDiCaL_INCLUDE_DIR=${LOCALBASE}/include
 
-do-test:
-	@${FIND} ${WRKDIR} -name "*.py" \
-		| ${XARGS} ${REINPLACE_CMD} -e 's|#!/usr/bin/env python$$|#!${PYTHON_CMD}| ; s|#!/usr/bin/env python3$$|#!${PYTHON_CMD}|'
-	@${FIND} ${WRKDIR} -name "*.sh" \
-		| ${XARGS} ${REINPLACE_CMD} 's|#!/bin/bash$$|#!${LOCALBASE}/bin/bash|'
-	@cd ${BUILD_WRKSRC} && \
-		${SETENV} ${CONFIGURE_ENV} ${CMAKE_BIN} ${CMAKE_ARGS} -DBUILD_TESTING:BOOL=ON ${CMAKE_SOURCE_PATH} && \
-		${SETENV} ${MAKE_ENV} ${MAKE_CMD} ${MAKE_ARGS} ${ALL_TARGET} && \
-		${SETENV} ${MAKE_ENV} ${MAKE_CMD} ${MAKE_ARGS} test
-
 .include <bsd.port.mk>
diff --git a/math/boolector/distinfo b/math/boolector/distinfo
index 3deeba981701..82ff383ccada 100644
--- a/math/boolector/distinfo
+++ b/math/boolector/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1622619758
-SHA256 (Boolector-boolector-3.2.2_GH0.tar.gz) = 9a5bdbacf83f2dd81dbed1e1a9f923766807470afa29b73729c947ae769d42b9
-SIZE (Boolector-boolector-3.2.2_GH0.tar.gz) = 1566009
+TIMESTAMP = 1699204051
+SHA256 (Boolector-boolector-3.2.3_GH0.tar.gz) = 9862134d33cb3ed0aeb6be3c9b154a4d0a90fd076f46ef97cf872813109cc5d9
+SIZE (Boolector-boolector-3.2.3_GH0.tar.gz) = 1566566
diff --git a/math/boolector/files/patch-CMakeLists.txt b/math/boolector/files/patch-CMakeLists.txt
deleted file mode 100644
index c638199bd96e..000000000000
--- a/math/boolector/files/patch-CMakeLists.txt
+++ /dev/null
@@ -1,29 +0,0 @@
---- CMakeLists.txt.orig	2019-12-02 22:50:20 UTC
-+++ CMakeLists.txt
-@@ -434,20 +434,24 @@ configure_file(
- # Regression tests
- 
- # Get and configure google test
-+if (BUILD_TESTING)
- include(cmake/googletest.cmake)
- fetch_googletest(
-     ${PROJECT_SOURCE_DIR}/cmake
-     ${PROJECT_BINARY_DIR}/googletest
-     )
- 
--enable_testing()
-+  enable_testing()
-+endif(BUILD_TESTING)
- 
- #-----------------------------------------------------------------------------#
- # Source directories
- 
- include_directories(src ${CMAKE_CURRENT_BINARY_DIR}/src)
- add_subdirectory(src)
--add_subdirectory(test)
-+if (BUILD_TESTING)
-+  add_subdirectory(test)
-+endif(BUILD_TESTING)
- if(PYTHON)
-   add_subdirectory(src/api/python)
- endif()