git: eea1b3a6cc68 - main - devel/pmd: replace PORTVERSION → DISTVERSION
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Sun, 21 Jul 2024 23:02:47 UTC
The branch main has been updated by vvd: URL: https://cgit.FreeBSD.org/ports/commit/?id=eea1b3a6cc685a34c22954cfc265c5e8990fc76f commit eea1b3a6cc685a34c22954cfc265c5e8990fc76f Author: Vladimir Druzenko <vvd@FreeBSD.org> AuthorDate: 2024-07-21 23:02:06 +0000 Commit: Vladimir Druzenko <vvd@FreeBSD.org> CommitDate: 2024-07-21 23:02:06 +0000 devel/pmd: replace PORTVERSION → DISTVERSION PR: 280379 --- devel/pmd/Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/devel/pmd/Makefile b/devel/pmd/Makefile index 626946ff6682..1c231d0a3f37 100644 --- a/devel/pmd/Makefile +++ b/devel/pmd/Makefile @@ -1,5 +1,5 @@ PORTNAME= pmd -PORTVERSION= 7.3.0 +DISTVERSION= 7.3.0 CATEGORIES= devel java MASTER_SITES= https://github.com/${PORTNAME}/${PORTNAME}/releases/download/${PORTNAME}_releases/${DISTVERSION}/ DISTNAME= ${PORTNAME}-dist-${DISTVERSION}-bin @@ -20,7 +20,7 @@ DATADIR= ${JAVASHAREDIR}/${PORTNAME} NO_ARCH= yes NO_BUILD= yes WRKSRC= ${WRKDIR}/${PORTNAME}-bin-${DISTVERSION} -PLIST_SUB+= PORTVERSION=${PORTVERSION} +PLIST_SUB+= PORTVERSION=${DISTVERSION} post-patch: @${REINPLACE_CMD} -e 's|%%PREFIX%%|${PREFIX}|g' ${WRKSRC}/bin/${PORTNAME}