summaryrefslogtreecommitdiff
path: root/lang/seed7/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'lang/seed7/Makefile')
-rw-r--r--lang/seed7/Makefile4
1 files changed, 2 insertions, 2 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} \