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/files/drjava.in | |
| 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/files/drjava.in')
| -rw-r--r-- | editors/drjava/files/drjava.in | 4 |
1 files changed, 4 insertions, 0 deletions
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%% "$@" |