| 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/editors/drjava/ |
Upload File : |
PORTNAME= drjava
DISTVERSION= 20140826-r5761
PORTREVISION= 1
CATEGORIES= editors java
MASTER_SITES= SF/${PORTNAME}/1.%20DrJava%20Stable%20Releases/${PORTNAME}-stable-${DISTVERSION}
DISTNAME= ${PORTNAME}-stable-${PORTVERSION:S|.|-|g}
EXTRACT_SUFX= .jar
EXTRACT_ONLY=
MAINTAINER= nivit@FreeBSD.org
COMMENT= Lightweight IDE for writing Java programs
WWW= http://www.drjava.org
NO_BUILD= yes
USE_JAVA= yes
SUB_FILES= ${PORTNAME}
SUB_LIST= DRJAVAJAR=${DRJAVAJAR}
PLIST_SUB= DRJAVAJAR=${DRJAVAJAR}
DATADIR= ${JAVASHAREDIR}/${PORTNAME}
DRJAVAJAR= ${DISTFILES}
do-install:
@${MKDIR} ${STAGEDIR}${DATADIR}
${INSTALL_DATA} ${DISTDIR}/${DISTFILES} ${STAGEDIR}${DATADIR}/${DRJAVAJAR}
${INSTALL_SCRIPT} ${WRKDIR}/${PORTNAME} ${STAGEDIR}${PREFIX}/bin/${PORTNAME}
.include <bsd.port.mk>