| Server IP : 82.208.35.60 / Your IP : 216.73.216.238 Web Server : Apache/2.4.55 (FreeBSD) OpenSSL/1.1.1q-freebsd PHP/7.3.31 System : FreeBSD server7.d2m.cz 12.4-RELEASE-p9 FreeBSD 12.4-RELEASE-p9 GENERIC amd64 User : studiokobylisy_cz ( 1008) PHP Version : 7.3.31 Disable Function : NONE MySQL : OFF | cURL : ON | WGET : OFF | Perl : OFF | Python : OFF | Sudo : OFF | Pkexec : OFF Directory : /usr/ports/java/eclipse-drjava/ |
Upload File : |
PORTNAME= drjava
PORTVERSION= 0.9.8
PORTREVISION= 6
CATEGORIES= java devel
MASTER_SITES= SF/${PORTNAME}/3.%20DrJava%20Eclipse%20Plug-in/${PORTNAME}-eclipse-${PORTVERSION}
PKGNAMEPREFIX= eclipse-
DISTNAME= drjava-eclipse-${PORTVERSION}
MAINTAINER= nivit@FreeBSD.org
COMMENT= DrJava plugin for Eclipse
WWW= http://www.drjava.org/eclipse.shtml
RUN_DEPENDS= ${LOCALBASE}/bin/eclipse:java/eclipse
USES= zip
NO_BUILD= yes
NO_WRKSUBDIR= yes
USE_JAVA= yes
JAVA_OS= native
DATADIR= ${PREFIX}/lib/eclipse/plugins
EPLUGIN_ID= edu.rice.cs.drjava
EPLUGIN_VER= ${PORTVERSION}
FIND_HERE= ${EPLUGIN_ID}_${EPLUGIN_VER}
FIND_COND= -not ( -name README -or -name LICENSE )
PLIST_SUB+= EPLUGINID=${EPLUGIN_ID} EPLUGINVER="${PORTVERSION}" \
PORTVERSION=${PORTVERSION}
do-install:
cd ${WRKSRC} && ${COPYTREE_SHARE} ${FIND_HERE} ${STAGEDIR}${DATADIR} "${FIND_COND}"
.include <bsd.port.mk>