diff options
| -rw-r--r-- | editors/Makefile | 1 | ||||
| -rw-r--r-- | editors/drjava/Makefile | 36 | ||||
| -rw-r--r-- | editors/drjava/distinfo | 3 | ||||
| -rw-r--r-- | editors/drjava/files/drjava.in | 4 | ||||
| -rw-r--r-- | editors/drjava/pkg-descr | 8 | ||||
| -rw-r--r-- | editors/drjava/pkg-plist | 4 |
6 files changed, 56 insertions, 0 deletions
diff --git a/editors/Makefile b/editors/Makefile index d0a12805b761..fc1976121cfd 100644 --- a/editors/Makefile +++ b/editors/Makefile @@ -32,6 +32,7 @@ SUBDIR += cream SUBDIR += dedit SUBDIR += doxymacs + SUBDIR += drjava SUBDIR += dte SUBDIR += e3 SUBDIR += e93 diff --git a/editors/drjava/Makefile b/editors/drjava/Makefile new file mode 100644 index 000000000000..b90bd63b95a8 --- /dev/null +++ b/editors/drjava/Makefile @@ -0,0 +1,36 @@ +# New ports collection makefile for: drjava +# Date created: 2006-04-13 +# Whom: Nicola Vitale <nivit@email.it> +# +# $FreeBSD$ +# + +PORTNAME= drjava +PORTVERSION= 20060127.2145 +CATEGORIES= editors java +MASTER_SITES= ${MASTER_SITE_SOURCEFORGE} +MASTER_SITE_SUBDIR= ${PORTNAME} +DISTNAME= ${PORTNAME}-stable-${PORTVERSION:S|.|-|g} +EXTRACT_SUFX= .jar +EXTRACT_ONLY= + +MAINTAINER= nivit@email.it +COMMENT= A lightweight IDE for writing Java programs + +NO_BUILD= yes +USE_JAVA= yes +JAVA_VERSION= 1.4+ + +SUB_FILES= ${PORTNAME} +SUB_LIST= DRJAVAJAR=${DRJAVAJAR} + +DATADIR= ${JAVASHAREDIR}/${PORTNAME} + +DRJAVAJAR= ${DATADIR}/${DISTFILES} + +do-install: + ${MKDIR} ${DATADIR} + ${INSTALL_DATA} ${DISTDIR}/${DISTFILES} ${DRJAVAJAR} + ${INSTALL_SCRIPT} ${WRKDIR}/${PORTNAME} ${PREFIX}/bin/${PORTNAME} + +.include <bsd.port.mk> diff --git a/editors/drjava/distinfo b/editors/drjava/distinfo new file mode 100644 index 000000000000..c97890d1636d --- /dev/null +++ b/editors/drjava/distinfo @@ -0,0 +1,3 @@ +MD5 (drjava-stable-20060127-2145.jar) = 7ea9438f5fd05add7e0f3d83fbcb56bd +SHA256 (drjava-stable-20060127-2145.jar) = a539c92af747ff6ef066c861de438ae168052aff8672f3ae947568109827da39 +SIZE (drjava-stable-20060127-2145.jar) = 5976918 diff --git a/editors/drjava/files/drjava.in b/editors/drjava/files/drjava.in new file mode 100644 index 000000000000..68f6d529f7fc --- /dev/null +++ b/editors/drjava/files/drjava.in @@ -0,0 +1,4 @@ +#!/bin/sh +# $FreeBSD$ +JAVA_VERSION="%%JAVA_VERSION%%" \ +exec "%%LOCALBASE%%/bin/java" -jar %%DRJAVAJAR%% "$@" diff --git a/editors/drjava/pkg-descr b/editors/drjava/pkg-descr new file mode 100644 index 000000000000..ef210de36531 --- /dev/null +++ b/editors/drjava/pkg-descr @@ -0,0 +1,8 @@ +DrJava is a lightweight development environment for writing Java programs. +It is designed primarily for students, providing an intuitive interface +and the ability to interactively evaluate Java code. It also includes +powerful features for more advanced users. DrJava is available for free +under the DrJava Open Source License, and it is under active development +by the JavaPLT group at Rice University. + +WWW: http://www.drjava.org diff --git a/editors/drjava/pkg-plist b/editors/drjava/pkg-plist new file mode 100644 index 000000000000..6e41bd8db09a --- /dev/null +++ b/editors/drjava/pkg-plist @@ -0,0 +1,4 @@ +@comment $FreeBSD$ +bin/drjava +%%JAVASHAREDIR%%/drjava/drjava-stable-20060127-2145.jar +@dirrm %%JAVASHAREDIR%%/drjava |