git: bd9a7a493052 - main - math/boolector: Add CPE information

[Bernhard Froehlich]

The branch main has been updated by decke:

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

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