diff --git a/math/boolector/Makefile b/math/boolector/Makefile
index 0d69f8ae44fe..6050ef0b1202 100644
--- a/math/boolector/Makefile
+++ b/math/boolector/Makefile
@@ -1,35 +1,39 @@
 PORTNAME=	boolector
 DISTVERSION=	3.2.3
 PORTREVISION=	1
 CATEGORIES=	math
 
 MAINTAINER=	yuri@FreeBSD.org
 COMMENT=	Satisfiability Modulo Theories (SMT) solver
 WWW=		https://boolector.github.io/
 
 LICENSE=	MIT
 LICENSE_FILE=	${WRKSRC}/COPYING
 
 BUILD_DEPENDS=	${LOCALBASE}/lib/liblgl.a:math/lingeling
 LIB_DEPENDS=	libbtor2parser.so:math/btor2tools \
 		libcadical.so:math/cadical \
 		libcryptominisat5.so:math/cryptominisat \
 		libminisat.so:math/minisat \
 		libpicosat.so:math/picosat \
 		libgmp.so:math/gmp
 TEST_DEPENDS=	bash:shells/bash
 
-USES=		cmake:noninja,testing compiler:c++11-lang cpe python:test # ninja fails to build tests
+USES=		cmake:noninja,testing compiler:c++11-lang cpe python:test shebangfix
 
 CPE_VENDOR=	boolector_project
 
 USE_GITHUB=	yes
 GH_ACCOUNT=	Boolector
 
+SHEBANG_GLOB=	*.sh
+
 CMAKE_ON=	BUILD_SHARED_LIBS \
 		USE_GMP
 CMAKE_OFF=	TESTING
-CMAKE_TESTING_ON=	TESTING # tests fail to comile, see https://github.com/Boolector/boolector/issues/216
+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}
+
 .include <bsd.port.mk>
diff --git a/math/boolector/files/patch-CMakeLists.txt b/math/boolector/files/patch-CMakeLists.txt
new file mode 100644
index 000000000000..c36c496feea3
--- /dev/null
+++ b/math/boolector/files/patch-CMakeLists.txt
@@ -0,0 +1,13 @@
+- workaround for https://github.com/Boolector/boolector/issues/226
+
+--- CMakeLists.txt.orig	2024-06-06 01:55:51 UTC
++++ CMakeLists.txt
+@@ -196,7 +196,7 @@ add_required_c_flag("-std=gnu99")
+ #       btorconfig.h and they are else not yet added to CMAKE_C(XX)_FLAGS at
+ #       file generation time (configure_file).
+ add_required_c_flag("-std=gnu99")
+-add_required_cxx_flag("-std=gnu++11")
++add_required_cxx_flag("-std=gnu++14")
+ 
+ add_check_c_cxx_flag("-W")
+ add_check_c_cxx_flag("-Wall")