Date: Sun, 9 Jun 2024 07:22:29 GMT From: Yuri Victorovich <yuri@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: baa1a612167c - main - math/boolector: Fix build Message-ID: <202406090722.4597MTFx094074@gitrepo.freebsd.org>
next in thread | raw e-mail | index | archive | help
The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=baa1a612167cbfc7fe8b8222119af440b904c33a commit baa1a612167cbfc7fe8b8222119af440b904c33a Author: Yuri Victorovich <yuri@FreeBSD.org> AuthorDate: 2024-06-09 07:10:47 +0000 Commit: Yuri Victorovich <yuri@FreeBSD.org> CommitDate: 2024-06-09 07:22:26 +0000 math/boolector: Fix build --- math/boolector/Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/math/boolector/Makefile b/math/boolector/Makefile index 6050ef0b1202..53f83ee9bdf0 100644 --- a/math/boolector/Makefile +++ b/math/boolector/Makefile @@ -19,7 +19,7 @@ LIB_DEPENDS= libbtor2parser.so:math/btor2tools \ libgmp.so:math/gmp TEST_DEPENDS= bash:shells/bash -USES= cmake:noninja,testing compiler:c++11-lang cpe python:test shebangfix +USES= cmake:noninja,testing compiler:c++11-lang cpe python:build,test shebangfix CPE_VENDOR= boolector_project @@ -34,6 +34,6 @@ CMAKE_OFF= TESTING CMAKE_TESTING_ON= TESTING # 1 test hangs, see https://github.com/Boolector/boolector/issues/227 CMAKE_ARGS= -DCaDiCaL_INCLUDE_DIR=${LOCALBASE}/include -BINARY_ALIAS= python=${PYTHON_CMD} python3=${PYTHON_CMD} +BINARY_ALIAS= python=${PYTHON_CMD} python3=${PYTHON_CMD} # only for tests .include <bsd.port.mk>
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202406090722.4597MTFx094074>