Skip to content

Commit

Permalink
lang/solidity: Add CPE information
Browse files Browse the repository at this point in the history
Approved by:	portmgr (blanket)
  • Loading branch information
stesser committed Oct 19, 2021
1 parent 9a13ac3 commit a29ad94
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion lang/solidity/Makefile
Expand Up @@ -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
Expand Down

0 comments on commit a29ad94

Please sign in to comment.