1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-10-19 19:59:43 +00:00

devel/jenkins: Misc fixes

- Update MASTER_SITES
- Pet portlint and portclippy

Sponsored by:	The FreeBSD Foundation
This commit is contained in:
Li-Wen Hsu 2021-06-20 09:43:31 +08:00
parent c8eb59683c
commit e6b2043343
No known key found for this signature in database
GPG Key ID: 8D7BCC7D012FD37E

View File

@ -2,7 +2,7 @@ PORTNAME= jenkins
PORTVERSION= 2.298
PORTREVISION= 1
CATEGORIES= devel java
MASTER_SITES= http://mirrors.jenkins-ci.org/war/${PORTVERSION}/
MASTER_SITES= http://mirrors.jenkins.io/war/${PORTVERSION}/
DISTNAME= jenkins
EXTRACT_SUFX= .war
DIST_SUBDIR= ${PORTNAME}/${PORTVERSION}
@ -14,21 +14,18 @@ COMMENT= Open-source continuous integration server
LICENSE= MIT
USES= cpe
CPE_VENDOR= cloudbees
USE_JAVA= yes
USE_RC_SUBR= jenkins
CONFLICTS= jenkins-lts-[0-9]*
USE_JAVA= yes
JAVA_VERSION= 1.8+
NO_ARCH= yes
NO_BUILD= yes
USE_RC_SUBR= jenkins
CPE_VENDOR= cloudbees
JENKINS_HOME?= ${PREFIX}/jenkins
JENKINS_USER?= jenkins
JENKINS_GROUP?= jenkins
JENKINS_HOME?= ${PREFIX}/jenkins
JENKINS_USER?= jenkins
JENKINS_GROUP?= jenkins
JENKINS_LOG_FILE?= /var/log/jenkins.log
.if ${JENKINS_USER} == "jenkins"
@ -38,13 +35,13 @@ USERS= jenkins
GROUPS= jenkins
.endif
SUB_LIST+= JENKINS_HOME=${JENKINS_HOME} \
JENKINS_USER=${JENKINS_USER} \
SUB_LIST+= JAVA_HOME=${JAVA_HOME} \
JENKINS_GROUP=${JENKINS_GROUP} \
JAVA_HOME=${JAVA_HOME} \
JENKINS_LOG_FILE=${JENKINS_LOG_FILE}
PLIST_SUB+= JENKINS_USER=${JENKINS_USER} \
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 <bsd.port.pre.mk>