diff --git a/devel/jenkins/Makefile b/devel/jenkins/Makefile index 991eb497b453..0d72facd1fb5 100644 --- a/devel/jenkins/Makefile +++ b/devel/jenkins/Makefile @@ -1,52 +1,52 @@ PORTNAME= jenkins -PORTVERSION= 2.500 +PORTVERSION= 2.501 CATEGORIES= devel java MASTER_SITES= https://get.jenkins.io/war/${PORTVERSION}/ DISTNAME= jenkins EXTRACT_SUFX= .war DIST_SUBDIR= ${PORTNAME}/${PORTVERSION} EXTRACT_ONLY= MAINTAINER= lwhsu@FreeBSD.org COMMENT= Open-source continuous integration server WWW= https://jenkins.io/ LICENSE= MIT USES= cpe java JAVA_VERSION= 17+ USE_RC_SUBR= jenkins CONFLICTS= jenkins-lts NO_ARCH= yes NO_BUILD= yes JENKINS_HOME?= ${PREFIX}/jenkins JENKINS_USER?= jenkins JENKINS_GROUP?= jenkins JENKINS_LOG_FILE?= /var/log/jenkins.log .if ${JENKINS_USER} == "jenkins" USERS= jenkins .endif .if ${JENKINS_GROUP} == "jenkins" GROUPS= jenkins .endif SUB_LIST+= JAVA_HOME=${JAVA_HOME} \ JENKINS_GROUP=${JENKINS_GROUP} \ JENKINS_HOME=${JENKINS_HOME} \ JENKINS_LOG_FILE=${JENKINS_LOG_FILE} \ JENKINS_USER=${JENKINS_USER} PLIST_SUB+= JENKINS_GROUP=${JENKINS_GROUP} \ JENKINS_USER=${JENKINS_USER} .include do-install: ${MKDIR} ${STAGEDIR}${DATADIR} ${STAGEDIR}${JENKINS_HOME} ${INSTALL_DATA} ${DISTDIR}/${DIST_SUBDIR}/${DISTNAME}${EXTRACT_SUFX} \ ${STAGEDIR}${DATADIR} .include diff --git a/devel/jenkins/distinfo b/devel/jenkins/distinfo index b83dd64e8605..0ffbb012291e 100644 --- a/devel/jenkins/distinfo +++ b/devel/jenkins/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1741197330 -SHA256 (jenkins/2.500/jenkins.war) = 00088f8c62f1c3ab09ad16a8c911bcf02111cfe73618093e77f0978d7277ee62 -SIZE (jenkins/2.500/jenkins.war) = 94798917 +TIMESTAMP = 1741833128 +SHA256 (jenkins/2.501/jenkins.war) = 5fd942c81e51ec278f814aa7dbaaeb334e58a3a3e2c523ca85071ee810752475 +SIZE (jenkins/2.501/jenkins.war) = 91579456