diff options
| author | Bernhard Froehlich <decke@FreeBSD.org> | 2022-03-18 13:12:21 +0000 |
|---|---|---|
| committer | Bernhard Froehlich <decke@FreeBSD.org> | 2022-03-18 13:23:51 +0000 |
| commit | 7c2bd4b89062e59d5ee7ec9daef8badb2126989c (patch) | |
| tree | b7823d9c2a9d3350fc9c8e551f0da291facff6e8 | |
| parent | 0f80d6120c8427bd2576c345d30f7dbdb66dbbbe (diff) | |
| download | ports-7c2bd4b89062e59d5ee7ec9daef8badb2126989c.tar.gz ports-7c2bd4b89062e59d5ee7ec9daef8badb2126989c.zip | |
devel/spin: Add CPE information
Approved by: portmgr (blanket)
| -rw-r--r-- | devel/spin/Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
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" |