diff options
| author | Stefan Eßer <se@FreeBSD.org> | 2021-10-19 11:14:33 +0000 |
|---|---|---|
| committer | Stefan Eßer <se@FreeBSD.org> | 2021-10-19 11:14:33 +0000 |
| commit | a29ad947760e7b519c90a12377c16df98a550ad0 (patch) | |
| tree | 30fcc4887076aeca6ed635b7377cba3c6ca9cbda | |
| parent | 9a13ac3f253ed77dd8d3315214243e3af16107bf (diff) | |
| download | ports-a29ad947760e7b519c90a12377c16df98a550ad0.tar.gz ports-a29ad947760e7b519c90a12377c16df98a550ad0.zip | |
lang/solidity: Add CPE information
Approved by: portmgr (blanket)
| -rw-r--r-- | lang/solidity/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
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 |