git: 32b46ee94b2d - main - math/btor2tools: Add CPE information

From: Stefan Eßer <se_at_FreeBSD.org>
Date: Tue, 19 Oct 2021 11:15:04 UTC
The branch main has been updated by se:

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

commit 32b46ee94b2d513b3961b0b51d1eeec00cc4519b
Author:     Stefan Eßer <se@FreeBSD.org>
AuthorDate: 2021-10-19 11:14:35 +0000
Commit:     Stefan Eßer <se@FreeBSD.org>
CommitDate: 2021-10-19 11:14:35 +0000

    math/btor2tools: Add CPE information
    
    Approved by:    portmgr (blanket)
---
 math/btor2tools/Makefile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/math/btor2tools/Makefile b/math/btor2tools/Makefile
index 71cea7621fe9..f6e21c9cbec5 100644
--- a/math/btor2tools/Makefile
+++ b/math/btor2tools/Makefile
@@ -8,6 +8,8 @@ COMMENT=	Generic parser and tool package for the BTOR2 format
 LICENSE=	MIT
 LICENSE_FILE=	${WRKSRC}/LICENSE.txt
 
+USES=		cpe
+CPE_VENDOR=	${PORTNAME}_project
 USE_GITHUB=	yes
 GH_ACCOUNT=	Boolector
 GH_TAGNAME=	1df768d