diff options
Diffstat (limited to 'devel/pmd/Makefile')
| -rw-r--r-- | devel/pmd/Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/devel/pmd/Makefile b/devel/pmd/Makefile index 77633f5aad99..df9111f55863 100644 --- a/devel/pmd/Makefile +++ b/devel/pmd/Makefile @@ -1,5 +1,5 @@ PORTNAME= pmd -DISTVERSION= 7.11.0 +DISTVERSION= 7.16.0 CATEGORIES= devel java MASTER_SITES= https://github.com/${PORTNAME}/${PORTNAME}/releases/download/${PORTNAME}_releases/${DISTVERSION}/ DISTNAME= ${PORTNAME}-dist-${DISTVERSION}-bin @@ -19,7 +19,8 @@ DATADIR= ${JAVASHAREDIR}/${PORTNAME} NO_ARCH= yes NO_BUILD= yes WRKSRC= ${WRKDIR}/${PORTNAME}-bin-${DISTVERSION} -PLIST_SUB+= ETCDIR=${ETCDIR} PORTVERSION=${DISTVERSION} +PLIST_SUB+= ETCDIR=${ETCDIR} \ + PORTVERSION=${DISTVERSION} post-patch: @${REINPLACE_CMD} -e 's|%%PREFIX%%|${PREFIX}|g' -e 's|%%ETCDIR%%|${ETCDIR}|g' \ |