Date: Fri, 18 Mar 2022 13:26:15 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: 7c2bd4b89062 - main - devel/spin: Add CPE information Message-ID: <202203181326.22IDQFwg003387@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=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"
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202203181326.22IDQFwg003387>