diff options
Diffstat (limited to 'www/jetty12/Makefile')
| -rw-r--r-- | www/jetty12/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/www/jetty12/Makefile b/www/jetty12/Makefile index c7a888abcec2..99d7f18ef16e 100644 --- a/www/jetty12/Makefile +++ b/www/jetty12/Makefile @@ -1,5 +1,5 @@ PORTNAME= jetty -PORTVERSION= 12.0.20 +PORTVERSION= 12.0.23 CATEGORIES= www java MASTER_SITES= https://repo1.maven.org/maven2/org/eclipse/jetty/jetty-home/${PORTVERSION}/ PKGNAMESUFFIX= 12 @@ -26,6 +26,7 @@ NO_BUILD= yes JAVA_VERSION= 17+ JAVA_VENDOR= openjdk USE_RC_SUBR= ${PORTNAME} +ASMVER= 9.8 APP_NAME= ${PORTNAME} APP_HOME= ${PREFIX}/${PORTNAME} @@ -50,6 +51,7 @@ PLIST_SUB= \ APP_NAME=${APP_NAME} \ WWWDIR=${WWWDIR} \ PORTVERSION=${PORTVERSION} \ + ASMVER=${ASMVER} do-install: ${MKDIR} ${STAGEDIR}${APP_HOME} ${STAGEDIR}${WWWDIR} ${STAGEDIR}${ETCDIR} |