aboutsummaryrefslogtreecommitdiff
path: root/editors/drjava
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 /editors/drjava
parentb1f655fbd6d231c3596ab72eecc83539bcf6319e (diff)
Notes
Diffstat (limited to 'editors/drjava')
-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
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