diff --git a/math/btor2tools/Makefile b/math/btor2tools/Makefile
index ee2bdf7cf41f..4ffad5b03529 100644
--- a/math/btor2tools/Makefile
+++ b/math/btor2tools/Makefile
@@ -1,32 +1,36 @@
 PORTNAME=	btor2tools
-DISTVERSION=	g20320816
+DISTVERSION=	1.0.3
 CATEGORIES=	math
 
 MAINTAINER=	yuri@FreeBSD.org
 COMMENT=	Generic parser and tool package for the BTOR2 format
 WWW=		https://github.com/Boolector/btor2tools
 
 LICENSE=	MIT
 LICENSE_FILE=	${WRKSRC}/LICENSE.txt
 
 USES=		cmake cpe
 USE_LDCONFIG=	yes
 
+CMAKE_ARGS+=	-DCMAKE_POLICY_VERSION_MINIMUM:STRING=3.5 # CMake 4 compatibility, see https://github.com/hwmcc/btor2tools/issues/33
+
 CPE_VENDOR=	${PORTNAME}_project
 
 USE_GITHUB=	yes
 GH_ACCOUNT=	Boolector
 GH_TAGNAME=	037f1fa
 
 MAKEFILE=	makefile
 
 PLIST_FILES=	bin/btorsim \
 		bin/btorsplit \
 		bin/catbtor \
 		include/btor2parser.h \
 		lib/libbtor2parser.so
 
 do-test:
-	@cd ${WRKSRC} && LD_PRELOAD=${WRKSRC}/build/libbtor2parser.so test/runtests.sh
+	@cd ${WRKSRC} && LD_LIBRARY_PATH=${STAGEDIR}${PREFIX}/lib BINDIR=${BUILD_WRKSRC}/bin test/runtests.sh
+
+# tests as of 1.0.3: 67 ok 67 total
 
 .include <bsd.port.mk>
diff --git a/math/btor2tools/distinfo b/math/btor2tools/distinfo
index a4c0b91542ee..2451ef7e78d3 100644
--- a/math/btor2tools/distinfo
+++ b/math/btor2tools/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1699204638
-SHA256 (Boolector-btor2tools-g20320816-037f1fa_GH0.tar.gz) = 304080e3b4dc11ea3da747907e231bdbe7bc7583cd38faeae6eb591cfb2adf45
-SIZE (Boolector-btor2tools-g20320816-037f1fa_GH0.tar.gz) = 87314
+TIMESTAMP = 1790575717
+SHA256 (Boolector-btor2tools-1.0.3-037f1fa_GH0.tar.gz) = 304080e3b4dc11ea3da747907e231bdbe7bc7583cd38faeae6eb591cfb2adf45
+SIZE (Boolector-btor2tools-1.0.3-037f1fa_GH0.tar.gz) = 87314
diff --git a/math/btor2tools/files/patch-configure.sh b/math/btor2tools/files/patch-configure.sh
index e3c5d3fd45e1..199ac7693042 100644
--- a/math/btor2tools/files/patch-configure.sh
+++ b/math/btor2tools/files/patch-configure.sh
@@ -1,11 +1,11 @@
---- configure.sh.orig	2019-06-14 05:32:21 UTC
+--- configure.sh.orig	2023-08-16 17:12:53 UTC
 +++ configure.sh
-@@ -61,7 +61,7 @@ do
-     -gprof) gprof=yes;;
-     -f*|-m*) if [ $flags = none ]; then flags=$1; else flags="$flags $1"; fi;;
+@@ -52,7 +52,7 @@ do
+     --asan) asan=yes;;
+     --btor2aiger) btor2aiger=yes;;
      -h|-help|--help) usage;;
 -    -*) die "invalid option '$1' (try '-h')";;
 +    -*) ;;
    esac
    shift
  done
diff --git a/math/btor2tools/files/patch-test_runtests.sh b/math/btor2tools/files/patch-test_runtests.sh
new file mode 100644
index 000000000000..a09574e2c989
--- /dev/null
+++ b/math/btor2tools/files/patch-test_runtests.sh
@@ -0,0 +1,16 @@
+-- Allow overriding the BINDIR directory via the environment.
+-- This is needed because FreeBSD ports builds the binaries out-of-source
+-- in ${BUILD_WRKSRC}/bin rather than ${WRKSRC}/bin, where the test script
+-- expects them by default.
+
+--- test/runtests.sh.orig	2023-08-16 17:12:53 UTC
++++ test/runtests.sh
+@@ -1,7 +1,7 @@ readonly SCRIPTDIR=$(dirname "$(readlink -f $0)")
+ #!/bin/sh
+ 
+ readonly SCRIPTDIR=$(dirname "$(readlink -f $0)")
+-readonly BINDIR=$SCRIPTDIR/../bin
++readonly BINDIR=${BINDIR:-$SCRIPTDIR/../bin}
+ 
+ readonly GREEN='\033[0;32m'
+ readonly RED='\033[0;31m'