Date: Tue, 21 Sep 2021 12:58:55 GMT From: Bernhard Froehlich <decke@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: bd9a7a493052 - main - math/boolector: Add CPE information Message-ID: <202109211258.18LCwtmX067776@gitrepo.freebsd.org>
next in thread | raw e-mail | index | archive | help
The branch main has been updated by decke: URL: https://cgit.FreeBSD.org/ports/commit/?id=bd9a7a493052e721ef9c5daea8cfb6179fd9dbd9 commit bd9a7a493052e721ef9c5daea8cfb6179fd9dbd9 Author: Bernhard Froehlich <decke@FreeBSD.org> AuthorDate: 2021-09-21 12:13:25 +0000 Commit: Bernhard Froehlich <decke@FreeBSD.org> CommitDate: 2021-09-21 12:57:52 +0000 math/boolector: Add CPE information Approved by: portmgr (blanket) --- math/boolector/Makefile | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/math/boolector/Makefile b/math/boolector/Makefile index 1e7833a09049..451dddd8ed33 100644 --- a/math/boolector/Makefile +++ b/math/boolector/Makefile @@ -14,7 +14,9 @@ LIB_DEPENDS= libbtor2parser.so:math/btor2tools \ libpicosat.so:math/picosat TEST_DEPENDS= bash:shells/bash -USES= cmake:noninja compiler:c++11-lang python:test # ninja fails to build tests +USES= cmake:noninja compiler:c++11-lang cpe python:test # ninja fails to build tests + +CPE_VENDOR= boolector_project USE_GITHUB= yes GH_ACCOUNT= Boolector
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202109211258.18LCwtmX067776>