PORTNAME= javahelp PORTVERSION= 2.0.05.20170719 PORTREVISION= 1 CATEGORIES= java devel MAINTAINER= ports@FreeBSD.org COMMENT= Online help support for Java applications WWW= https://javaee.github.io/javahelp/ LICENSE= CDDL LICENSE_FILE= ${WRKSRC}/LICENSE BUILD_DEPENDS= ${TOMCAT_jsp}:${TOMCAT_PORT} USE_GITHUB= yes GH_ACCOUNT= javaee GH_TAGNAME= 3ca862d USE_JAVA= yes USE_ANT= yes TOMCAT_VER?= 8.5 TOMCAT_PORT= www/tomcat${TOMCAT_VER:S/.0//:S/.//} TOMCAT_DIR= ${LOCALBASE}/apache-tomcat-${TOMCAT_VER} TOMCAT_jsp= ${TOMCAT_DIR}/lib/jsp-api.jar TOMCAT_servlet= ${TOMCAT_DIR}/lib/servlet-api.jar MAKE_ARGS= -Djsp-jar=${TOMCAT_jsp} \ -Dfile.reference.jsp-api.jar=${TOMCAT_jsp} \ -Dservlet-jar=${TOMCAT_servlet} \ -Dfile.reference.servlet-api.jar=${TOMCAT_servlet} \ -Dtomcat-zip-present=true NO_ARCH= yes BUILD_WRKSRC= ${WRKSRC}/javahelp_nbproject SUB_FILES= jhindexer \ jhsearch post-patch: ${REINPLACE_CMD} '/javac.source/s,4,6,;/javac.target/s,4,6,' \ ${WRKSRC}/*/nbproject/project.properties do-install: ${INSTALL_SCRIPT} ${WRKDIR}/jhindexer ${WRKDIR}/jhsearch ${STAGEDIR}${PREFIX}/bin/ ${INSTALL_DATA} ${BUILD_WRKSRC}/dist/lib/*.jar ${STAGEDIR}${JAVAJARDIR}/ ${MKDIR} ${STAGEDIR}${JAVAJARDIR}/dtd ${INSTALL_DATA} ${WRKSRC}/jhMaster/JavaHelp/doc/public-spec/dtd/*_2_0.dtd ${STAGEDIR}${JAVAJARDIR}/dtd/ .include