Skip site navigation (1)Skip section navigation (2)
Date:      Tue, 21 Sep 2021 12:58:55 GMT
From:      Bernhard Froehlich <decke@FreeBSD.org>
To:        ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org
Subject:   git: bd9a7a493052 - main - math/boolector: Add CPE information
Message-ID:  <202109211258.18LCwtmX067776@gitrepo.freebsd.org>

next in thread | raw e-mail | index | archive | help
The branch main has been updated by decke:

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

commit bd9a7a493052e721ef9c5daea8cfb6179fd9dbd9
Author:     Bernhard Froehlich <decke@FreeBSD.org>
AuthorDate: 2021-09-21 12:13:25 +0000
Commit:     Bernhard Froehlich <decke@FreeBSD.org>
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



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202109211258.18LCwtmX067776>