git: 841d56019fa0 - main - lang/seed7: update to 05_20250516

The branch main has been updated by gahr:

URL: https://cgit.FreeBSD.org/ports/commit/?id=841d56019fa0656d87f1e5cae55140c3986d7153

commit 841d56019fa0656d87f1e5cae55140c3986d7153
Author:     Pietro Cerutti <gahr@FreeBSD.org>
AuthorDate: 2025-07-17 19:26:41 +0000
Commit:     Pietro Cerutti <gahr@FreeBSD.org>
CommitDate: 2025-07-17 19:30:57 +0000

    lang/seed7: update to 05_20250516
    
    Changes:
    * https://github.com/ThomasMertes/seed7/releases/tag/Seed7_release_2025-03-25
    * https://github.com/ThomasMertes/seed7/releases/tag/Seed7_release_2025-05-16
---
 lang/seed7/Makefile                   |  4 ++--
 lang/seed7/distinfo                   |  6 +++---
 lang/seed7/files/patch-mk_freebsd.mk  |  4 ++--
 lang/seed7/files/patch-prg_chkerr.sd7 | 11 +++++++++++
 4 files changed, 18 insertions(+), 7 deletions(-)

diff --git a/lang/seed7/Makefile b/lang/seed7/Makefile
index 1503e183b75d..c0dc4453faca 100644
--- a/lang/seed7/Makefile
+++ b/lang/seed7/Makefile
@@ -1,6 +1,5 @@
 PORTNAME=	seed7
-DISTVERSION=	05_20250111
-PORTREVISION=	0
+DISTVERSION=	05_20250516
 CATEGORIES=	lang
 MASTER_SITES=	SF/${PORTNAME}/${PORTNAME}/${DISTNAME}/
 DISTNAME=	${PORTNAME}_${DISTVERSION}
@@ -25,6 +24,7 @@ OPTIONS_DEFINE=	DOCS EXAMPLES
 USE_XORG=	x11 xrender
 WANT_PGSQL=	client
 
+PATCH_WRKSRC=	${WRKDIR}/${PORTNAME}
 WRKSRC=		${WRKDIR}/${PORTNAME}/src
 MAKE_ENV+=	S7_LIB_DIR=${S7_LIB_DIR} \
 		SEED7_LIBRARY=${SEED7_LIBRARY} \
diff --git a/lang/seed7/distinfo b/lang/seed7/distinfo
index e90e6a991c6e..87c461ef0b87 100644
--- a/lang/seed7/distinfo
+++ b/lang/seed7/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1738662319
-SHA256 (seed7_05_20250111.tgz) = 041de239140bc6a933c9ceb819716e059ec88395c147b269ed9816f2e68b0209
-SIZE (seed7_05_20250111.tgz) = 4260238
+TIMESTAMP = 1752568192
+SHA256 (seed7_05_20250516.tgz) = 39b3086845ac3f79c9354d109ddf7c66e0452d5dd409bc07bc960bb5ea6bab78
+SIZE (seed7_05_20250516.tgz) = 4346654
diff --git a/lang/seed7/files/patch-mk_freebsd.mk b/lang/seed7/files/patch-mk_freebsd.mk
index 6241674911c8..ac985e54d4e6 100644
--- a/lang/seed7/files/patch-mk_freebsd.mk
+++ b/lang/seed7/files/patch-mk_freebsd.mk
@@ -1,5 +1,5 @@
---- mk_freebsd.mk.orig	2020-05-21 06:01:46 UTC
-+++ mk_freebsd.mk
+--- src/mk_freebsd.mk.orig	2020-05-21 06:01:46 UTC
++++ src/mk_freebsd.mk
 @@ -153,6 +153,7 @@ chkccomp.h:
  	echo "#define SQL_SERVER_LIBRARY_PATH \"-L%%LOCALBASE%%/lib\"" >> chkccomp.h
  	echo "#define TDS_INCLUDE_OPTIONS \"-I%%LOCALBASE%%/include\"" >> chkccomp.h
diff --git a/lang/seed7/files/patch-prg_chkerr.sd7 b/lang/seed7/files/patch-prg_chkerr.sd7
new file mode 100644
index 000000000000..9fd9d1c54203
--- /dev/null
+++ b/lang/seed7/files/patch-prg_chkerr.sd7
@@ -0,0 +1,11 @@
+--- prg/chkerr.sd7.orig	2025-07-15 18:54:10 UTC
++++ prg/chkerr.sd7
+@@ -48,7 +48,7 @@ const func boolean: checkError (in string: testProgram
+     var parseError: error is parseError.value;
+   begin
+     block
+-      aProgram := parseStri(testProgram);
++      aProgram := parseStri(testProgram, parseOptions.value, [] ("../lib"));
+     exception
+       catch MEMORY_ERROR: noop;
+     end block;