summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorIon-Mihai Tetcu <itetcu@FreeBSD.org>2006-07-01 07:46:46 +0000
committerIon-Mihai Tetcu <itetcu@FreeBSD.org>2006-07-01 07:46:46 +0000
commit1c05f550a63d5eecb213869ddc9c31cc059370c4 (patch)
treefde0cf4c7922d13952e93bb053e3cbbb19be851d
parentAdd 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
-rw-r--r--editors/Makefile1
-rw-r--r--editors/drjava/Makefile36
-rw-r--r--editors/drjava/distinfo3
-rw-r--r--editors/drjava/files/drjava.in4
-rw-r--r--editors/drjava/pkg-descr8
-rw-r--r--editors/drjava/pkg-plist4
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