sync/ports
1
0
Fork 0
mirror of https://git.freebsd.org/ports.git synced 2025-07-18 01:39:16 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

devel/spin: Add CPE information

Browse source 
Approved by:	portmgr (blanket)
This commit is contained in:
Bernhard Froehlich 2022-03-18 13:12:21 +00:00
parent 0f80d6120c
commit 7c2bd4b890
No known key found for this signature in database
GPG key ID: 4DD88C3F9F3B8333
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
devel/spin/Makefile
View file

@ -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"