diff options
Diffstat (limited to 'lang/seed7/Makefile')
-rw-r--r-- | lang/seed7/Makefile | 4 |
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} \ |