diff --git a/devel/jenkins/Makefile b/devel/jenkins/Makefile index 3f119abfb907..215203d95bf6 100644 --- a/devel/jenkins/Makefile +++ b/devel/jenkins/Makefile @@ -1,52 +1,52 @@ PORTNAME= jenkins -PORTVERSION= 2.515 +PORTVERSION= 2.517 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= 21+ 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 20fea914fa99..0e451d3fb6c4 100644 --- a/devel/jenkins/distinfo +++ b/devel/jenkins/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1750189552 -SHA256 (jenkins/2.515/jenkins.war) = d07c2a75c35c8451a65fc6508fed1add7bb75e25b9e7b25dd566f286b8ea0ce7 -SIZE (jenkins/2.515/jenkins.war) = 87480154 +TIMESTAMP = 1751524230 +SHA256 (jenkins/2.517/jenkins.war) = 9b2fcf89c7d1d75b4762fff84878a5284db71a916c5ab258af1b39c56b032901 +SIZE (jenkins/2.517/jenkins.war) = 87485317