git: 9e836ff24463 - main - math/boolector: Add and correct dependencies

The branch main has been updated by yuri:

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

commit 9e836ff24463fa1e19ed2a9647d893c22e4b6617
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2023-01-04 07:36:44 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2023-01-04 10:51:59 +0000

    math/boolector: Add and correct dependencies
---
 math/boolector/Makefile | 12 +++++++++---
 1 file changed, 9 insertions(+), 3 deletions(-)

diff --git a/math/boolector/Makefile b/math/boolector/Makefile
index ee58bfb36d0c..419bf7877c46 100644
--- a/math/boolector/Makefile
+++ b/math/boolector/Makefile
@@ -1,5 +1,6 @@
 PORTNAME=	boolector
 DISTVERSION=	3.2.2
+PORTREVISION=	1
 CATEGORIES=	math
 
 MAINTAINER=	yuri@FreeBSD.org
@@ -9,10 +10,13 @@ WWW=		https://boolector.github.io/
 LICENSE=	MIT
 LICENSE_FILE=	${WRKSRC}/COPYING
 
-BUILD_DEPENDS=	cadical>0:math/cadical
+BUILD_DEPENDS=	${LOCALBASE}/lib/libcadical.a:math/cadical \
+		${LOCALBASE}/lib/liblgl.a:math/lingeling
 LIB_DEPENDS=	libbtor2parser.so:math/btor2tools \
+		libcryptominisat5.so:math/cryptominisat \
 		libminisat.so:math/minisat \
-		libpicosat.so:math/picosat
+		libpicosat.so:math/picosat \
+		libgmp.so:math/gmp
 TEST_DEPENDS=	bash:shells/bash
 
 USES=		cmake:noninja compiler:c++11-lang cpe python:test # ninja fails to build tests
@@ -22,7 +26,9 @@ CPE_VENDOR=	boolector_project
 USE_GITHUB=	yes
 GH_ACCOUNT=	Boolector
 
-CMAKE_ON=	BUILD_SHARED_LIBS
+CMAKE_ON=	BUILD_SHARED_LIBS \
+		USE_GMP
+CMAKE_ARGS=	-DCaDiCaL_INCLUDE_DIR=${LOCALBASE}/include
 
 do-test:
 	@${FIND} ${WRKDIR} -name "*.py" \