From nobody Tue Oct 19 11:14:54 2021 X-Original-To: dev-commits-ports-main@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 6DB20180EC10; Tue, 19 Oct 2021 11:14:56 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "R3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4HYWNv5t3wz3FSn; Tue, 19 Oct 2021 11:14:54 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org (gitrepo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:5]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 9D789133C2; Tue, 19 Oct 2021 11:14:54 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org ([127.0.1.44]) by gitrepo.freebsd.org (8.16.1/8.16.1) with ESMTP id 19JBEsa6062480; Tue, 19 Oct 2021 11:14:54 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.16.1/8.16.1/Submit) id 19JBEshW062479; Tue, 19 Oct 2021 11:14:54 GMT (envelope-from git) Date: Tue, 19 Oct 2021 11:14:54 GMT Message-Id: <202110191114.19JBEshW062479@gitrepo.freebsd.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org From: =?utf-8?Q?Stefan E=C3=9Fer?= Subject: git: a29ad947760e - main - lang/solidity: Add CPE information List-Id: Commits to the main branch of the FreeBSD ports repository List-Archive: https://lists.freebsd.org/archives/dev-commits-ports-main List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-dev-commits-ports-main@freebsd.org X-BeenThere: dev-commits-ports-main@freebsd.org MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Git-Committer: se X-Git-Repository: ports X-Git-Refname: refs/heads/main X-Git-Reftype: branch X-Git-Commit: a29ad947760e7b519c90a12377c16df98a550ad0 Auto-Submitted: auto-generated X-ThisMailContainsUnwantedMimeParts: N The branch main has been updated by se: URL: https://cgit.FreeBSD.org/ports/commit/?id=a29ad947760e7b519c90a12377c16df98a550ad0 commit a29ad947760e7b519c90a12377c16df98a550ad0 Author: Stefan Eßer AuthorDate: 2021-10-19 11:14:33 +0000 Commit: Stefan Eßer 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