diff options
| author | Ion-Mihai Tetcu <itetcu@FreeBSD.org> | 2006-07-01 07:46:46 +0000 |
|---|---|---|
| committer | Ion-Mihai Tetcu <itetcu@FreeBSD.org> | 2006-07-01 07:46:46 +0000 |
| commit | 1c05f550a63d5eecb213869ddc9c31cc059370c4 (patch) | |
| tree | fde0cf4c7922d13952e93bb053e3cbbb19be851d /editors/drjava | |
| parent | Add ruby-game 1.1.0, a game-development extension and library for the (diff) | |
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
PR: ports/95712
Submitted by: Nicola Vitale <nivit@email.it>
Notes
Notes:
svn path=/head/; revision=166697
Diffstat (limited to 'editors/drjava')
| -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 |
5 files changed, 55 insertions, 0 deletions
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 |