diff options
Diffstat (limited to 'lang/seed7')
| -rw-r--r-- | lang/seed7/Makefile | 4 | ||||
| -rw-r--r-- | lang/seed7/distinfo | 6 | ||||
| -rw-r--r-- | lang/seed7/files/patch-mk_freebsd.mk | 4 | ||||
| -rw-r--r-- | 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; |