git: a29ad947760e - main - lang/solidity: Add CPE information
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Tue, 19 Oct 2021 11:14:54 UTC
The branch main has been updated by se: URL: https://cgit.FreeBSD.org/ports/commit/?id=a29ad947760e7b519c90a12377c16df98a550ad0 commit a29ad947760e7b519c90a12377c16df98a550ad0 Author: Stefan Eßer <se@FreeBSD.org> AuthorDate: 2021-10-19 11:14:33 +0000 Commit: Stefan Eßer <se@FreeBSD.org> CommitDate: 2021-10-19 11:14:33 +0000 lang/solidity: Add CPE information Approved by: portmgr (blanket) --- lang/solidity/Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/lang/solidity/Makefile b/lang/solidity/Makefile index c67b9266bb1c..810033d91ddd 100644 --- a/lang/solidity/Makefile +++ b/lang/solidity/Makefile @@ -18,7 +18,8 @@ BUILD_DEPENDS= boost-libs>=0:devel/boost-libs \ range-v3>=0:devel/range-v3 LIB_DEPENDS= libjsoncpp.so:devel/jsoncpp -USES= cmake compiler:c++14-lang +USES= cmake compiler:c++14-lang cpe +CPE_VENDOR= ${PORTNAME}lang OPTIONS_DEFINE= Z3 CVC4 OPTIONS_DEFAULT=Z3 CVC4