git: 7c2bd4b89062 - main - devel/spin: Add CPE information

From: Bernhard Froehlich <decke_at_FreeBSD.org>
Date: Fri, 18 Mar 2022 13:26:15 UTC 
The branch main has been updated by decke:

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

commit 7c2bd4b89062e59d5ee7ec9daef8badb2126989c
Author:     Bernhard Froehlich <decke@FreeBSD.org>
AuthorDate: 2022-03-18 13:12:21 +0000
Commit:     Bernhard Froehlich <decke@FreeBSD.org>
CommitDate: 2022-03-18 13:23:51 +0000

    devel/spin: Add CPE information
    
    Approved by:    portmgr (blanket)
---
 devel/spin/Makefile | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/devel/spin/Makefile b/devel/spin/Makefile
index 340457f559c5..7c1519de1006 100644
--- a/devel/spin/Makefile
+++ b/devel/spin/Makefile
@@ -11,6 +11,10 @@ COMMENT=	On-the-fly verification system for asynchronous concurrent systems
 LICENSE=	BSD3CLAUSE
 LICENSE_FILE=	${WRKSRC}/Src/LICENSE
 
+USES=		cpe
+
+CPE_VENDOR=	spinroot
+
 MAKEFILE=	makefile
 ALL_TARGET=	all
 MAKE_ARGS=	CC="${CC}" CFLAGS="${CFLAGS} -DNXT"