diff options
-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" |