cpet/freebsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

lang/solidity: Add CPE information

Browse Source 
Approved by:	portmgr (blanket)
This commit is contained in:
Stefan Eßer 2021-10-19 13:14:33 +02:00
parent 9a13ac3f25
commit a29ad94776
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
lang/solidity/Makefile
View File

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