git: d4a7860092b9 - main - math/boolector: Update 3.2.1 -> 3.2.2

[Yuri Victorovich]

The branch main has been updated by yuri:

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

commit d4a7860092b926b2744f80200a9c8bf314aa4e13
Author:     Yuri Victorovich <yuri at FreeBSD.org>
AuthorDate: 2021-06-02 08:02:45 +0000
Commit:     Yuri Victorovich <yuri at FreeBSD.org>
CommitDate: 2021-06-02 08:49:44 +0000

    math/boolector: Update 3.2.1 -> 3.2.2
    
    Reported by:    portscout
---
 math/boolector/Makefile  | 10 ++++++----
 math/boolector/distinfo  |  6 +++---
 math/boolector/pkg-descr |  3 +--
 3 files changed, 10 insertions(+), 9 deletions(-)

diff --git a/math/boolector/Makefile b/math/boolector/Makefile
index acda05b2b523..1e7833a09049 100644
--- a/math/boolector/Makefile
+++ b/math/boolector/Makefile
@@ -1,5 +1,5 @@
 PORTNAME=	boolector
-DISTVERSION=	3.2.1
+DISTVERSION=	3.2.2
 CATEGORIES=	math
 
 MAINTAINER=	yuri at FreeBSD.org
@@ -12,16 +12,18 @@ BUILD_DEPENDS=	cadical>0:math/cadical
 LIB_DEPENDS=	libbtor2parser.so:math/btor2tools \
 		libminisat.so:math/minisat \
 		libpicosat.so:math/picosat
+TEST_DEPENDS=	bash:shells/bash
+
+USES=		cmake:noninja compiler:c++11-lang python:test # ninja fails to build tests
 
-USES=		cmake:noninja compiler:c++11-lang # ninja fails to build tests
 USE_GITHUB=	yes
 GH_ACCOUNT=	Boolector
 
 CMAKE_ON=	BUILD_SHARED_LIBS
 
-do-test: # tests assume that python-3.7 and bash are installed
+do-test:
 	@${FIND} ${WRKDIR} -name "*.py" \
-		| ${XARGS} ${REINPLACE_CMD} -e 's|#!/usr/bin/env python$$|#!${LOCALBASE}/bin/python3.7| ; s|#!/usr/bin/env python3$$|#!${LOCALBASE}/bin/python3.7|'
+		| ${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} && \
diff --git a/math/boolector/distinfo b/math/boolector/distinfo
index 772cf8e87c71..3deeba981701 100644
--- a/math/boolector/distinfo
+++ b/math/boolector/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1585205935
-SHA256 (Boolector-boolector-3.2.1_GH0.tar.gz) = 0273347f6b24be406e5d37fd3681d64847a0eecb4131006a6afb8f120b69c4dd
-SIZE (Boolector-boolector-3.2.1_GH0.tar.gz) = 1561216
+TIMESTAMP = 1622619758
+SHA256 (Boolector-boolector-3.2.2_GH0.tar.gz) = 9a5bdbacf83f2dd81dbed1e1a9f923766807470afa29b73729c947ae769d42b9
+SIZE (Boolector-boolector-3.2.2_GH0.tar.gz) = 1566009
diff --git a/math/boolector/pkg-descr b/math/boolector/pkg-descr
index 51e72726d0c9..252fae2909cf 100644
--- a/math/boolector/pkg-descr
+++ b/math/boolector/pkg-descr
@@ -2,7 +2,6 @@ Boolector is a Satisfiability Modulo Theories (SMT) solver for the theories of
 fixed-size bit-vectors, arrays and uninterpreted functions. It supports the
 SMT-LIB logics BV, QF_ABV, QF_AUFBV, QF_BV and QF_UFBV. Boolector provides a
 rich C and Python API and supports incremental solving, both with the SMT-LIB
-commands push and pop, and as solving under assumptions. The documentation of
-its API can be found here.
+commands push and pop, and solving under assumptions.
 
 WWW: https://boolector.github.io/