Date: Wed, 2 Jun 2021 08:50:45 GMT From: Yuri Victorovich <yuri@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: d4a7860092b9 - main - math/boolector: Update 3.2.1 -> 3.2.2 Message-ID: <202106020850.1528ojQg035326@gitrepo.freebsd.org>
next in thread | raw e-mail | index | archive | help
The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=d4a7860092b926b2744f80200a9c8bf314aa4e13 commit d4a7860092b926b2744f80200a9c8bf314aa4e13 Author: Yuri Victorovich <yuri@FreeBSD.org> AuthorDate: 2021-06-02 08:02:45 +0000 Commit: Yuri Victorovich <yuri@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@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/
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202106020850.1528ojQg035326>