# # $Id$ # PORTNAME= jboss71 PORTVERSION= 7.1.3 CATEGORIES= java www MASTER_SITES= https://javaz.org/distfiles/ DISTNAME2= ${GH_PROJECT}-${GH_TAGNAME} DISTFILES= m2-${DISTNAME2}.tar.xz ${DISTNAME}.tar.gz MAINTAINER= yerenkow@gmail.com COMMENT= JBoss 7.1.3.Final USE_GITHUB= YES GH_ACCOUNT= jbossas GH_PROJECT= jboss-as GH_TAGNAME= 7.1.3.Final USE_RC_SUBR= jboss71 USE_JAVA= yes JAVA_VERSION= 1.6+ OWNER= www GROUP= www VAR_DIR= /var LOG_DIR= ${VAR_DIR}/log/${PORTNAME} DEPLOY_DIR?= ${VAR_DIR}/${PORTNAME} PID_FILE= /var/run/${PORTNAME}.pid JBOSSOUTPUT= ${WRKSRC}/build/target/${DISTNAME2} SUB_LIST= APP_SHORTNAME=${PORTNAME} \ LOG_DIR=${LOG_DIR} \ OWNER=${OWNER}\ PID_FILE=${PID_FILE} \ APP_HOME=${PREFIX}/${PORTNAME} post-patch: ${MV} ${WRKSRC}/tools/maven/conf/settings.xml ${WRKSRC}/tools/maven/conf/settings.xml.orig ${SED} -e 's,