From owner-dev-commits-ports-main@freebsd.org Tue Sep 21 12:58:56 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 91297671C6A; Tue, 21 Sep 2021 12:58:56 +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 4HDM1r1JPFz4dds; Tue, 21 Sep 2021 12:58:56 +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 F1100245A5; Tue, 21 Sep 2021 12:58:55 +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 18LCwtwW067777; Tue, 21 Sep 2021 12:58:55 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.16.1/8.16.1/Submit) id 18LCwtmX067776; Tue, 21 Sep 2021 12:58:55 GMT (envelope-from git) Date: Tue, 21 Sep 2021 12:58:55 GMT Message-Id: <202109211258.18LCwtmX067776@gitrepo.freebsd.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org From: Bernhard Froehlich Subject: git: bd9a7a493052 - main - math/boolector: Add CPE information MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Git-Committer: decke X-Git-Repository: ports X-Git-Refname: refs/heads/main X-Git-Reftype: branch X-Git-Commit: bd9a7a493052e721ef9c5daea8cfb6179fd9dbd9 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: Tue, 21 Sep 2021 12:58:56 -0000 The branch main has been updated by decke: URL: https://cgit.FreeBSD.org/ports/commit/?id=bd9a7a493052e721ef9c5daea8cfb6179fd9dbd9 commit bd9a7a493052e721ef9c5daea8cfb6179fd9dbd9 Author: Bernhard Froehlich AuthorDate: 2021-09-21 12:13:25 +0000 Commit: Bernhard Froehlich CommitDate: 2021-09-21 12:57:52 +0000 math/boolector: Add CPE information Approved by: portmgr (blanket) --- math/boolector/Makefile | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/math/boolector/Makefile b/math/boolector/Makefile index 1e7833a09049..451dddd8ed33 100644 --- a/math/boolector/Makefile +++ b/math/boolector/Makefile @@ -14,7 +14,9 @@ LIB_DEPENDS= libbtor2parser.so:math/btor2tools \ 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 cpe python:test # ninja fails to build tests + +CPE_VENDOR= boolector_project USE_GITHUB= yes GH_ACCOUNT= Boolector