From owner-dev-commits-ports-main@freebsd.org Wed Jun 2 08:50:45 2021 Return-Path: Delivered-To: dev-commits-ports-main@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id CA0AA63E826; Wed, 2 Jun 2021 08:50:45 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "R3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4Fw2mj4zjWz4fWy; Wed, 2 Jun 2021 08:50:45 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org (gitrepo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:5]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 4678D13DCB; Wed, 2 Jun 2021 08:50:45 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org ([127.0.1.44]) by gitrepo.freebsd.org (8.16.1/8.16.1) with ESMTP id 1528ojSv035327; Wed, 2 Jun 2021 08:50:45 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.16.1/8.16.1/Submit) id 1528ojQg035326; Wed, 2 Jun 2021 08:50:45 GMT (envelope-from git) Date: Wed, 2 Jun 2021 08:50:45 GMT Message-Id: <202106020850.1528ojQg035326@gitrepo.freebsd.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org From: Yuri Victorovich Subject: git: d4a7860092b9 - main - math/boolector: Update 3.2.1 -> 3.2.2 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Git-Committer: yuri X-Git-Repository: ports X-Git-Refname: refs/heads/main X-Git-Reftype: branch X-Git-Commit: d4a7860092b926b2744f80200a9c8bf314aa4e13 Auto-Submitted: auto-generated X-BeenThere: dev-commits-ports-main@freebsd.org X-Mailman-Version: 2.1.34 Precedence: list List-Id: Commits to the main branch of the FreeBSD ports repository List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 02 Jun 2021 08:50:46 -0000 The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=d4a7860092b926b2744f80200a9c8bf314aa4e13 commit d4a7860092b926b2744f80200a9c8bf314aa4e13 Author: Yuri Victorovich AuthorDate: 2021-06-02 08:02:45 +0000 Commit: Yuri Victorovich 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/