git: baa1a612167c - main - math/boolector: Fix build
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Sun, 09 Jun 2024 07:22:29 UTC
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>