diff options
Diffstat (limited to 'editors')
| -rw-r--r-- | editors/drjava/Makefile | 2 | ||||
| -rw-r--r-- | editors/jedit-devel/files/jedit.sh.in | 2 | ||||
| -rw-r--r-- | editors/jedit/files/jedit.sh.in | 2 | ||||
| -rw-r--r-- | editors/jext/Makefile | 2 | ||||
| -rw-r--r-- | editors/omegaT/Makefile | 2 | ||||
| -rw-r--r-- | editors/omegaT/files/omegaT.sh.in | 2 |
6 files changed, 6 insertions, 6 deletions
diff --git a/editors/drjava/Makefile b/editors/drjava/Makefile index 1ebecbd503d1..2daa2a6e0fd4 100644 --- a/editors/drjava/Makefile +++ b/editors/drjava/Makefile @@ -19,7 +19,7 @@ COMMENT= A lightweight IDE for writing Java programs NO_BUILD= yes USE_JAVA= yes -JAVA_VERSION= 1.4+ +JAVA_VERSION= 1.5+ SUB_FILES= ${PORTNAME} SUB_LIST= DRJAVAJAR=${DRJAVAJAR} diff --git a/editors/jedit-devel/files/jedit.sh.in b/editors/jedit-devel/files/jedit.sh.in index 6b2c3e618483..80b01341093d 100644 --- a/editors/jedit-devel/files/jedit.sh.in +++ b/editors/jedit-devel/files/jedit.sh.in @@ -4,4 +4,4 @@ # Java heap size, in megabytes JAVA_HEAP_SIZE=32 -JAVA_VERSION="1.4+" "%%LOCALBASE%%/bin/java" -mx${JAVA_HEAP_SIZE}m ${JEDIT} -jar "%%DATADIR%%/jedit.jar" "$@" +JAVA_VERSION="%%JAVA_VERSION%%" "%%LOCALBASE%%/bin/java" -mx${JAVA_HEAP_SIZE}m ${JEDIT} -jar "%%DATADIR%%/jedit.jar" "$@" diff --git a/editors/jedit/files/jedit.sh.in b/editors/jedit/files/jedit.sh.in index 91dc403347d0..80b01341093d 100644 --- a/editors/jedit/files/jedit.sh.in +++ b/editors/jedit/files/jedit.sh.in @@ -4,4 +4,4 @@ # Java heap size, in megabytes JAVA_HEAP_SIZE=32 -JAVA_VERSION="1.5+" "%%LOCALBASE%%/bin/java" -mx${JAVA_HEAP_SIZE}m ${JEDIT} -jar "%%DATADIR%%/jedit.jar" "$@" +JAVA_VERSION="%%JAVA_VERSION%%" "%%LOCALBASE%%/bin/java" -mx${JAVA_HEAP_SIZE}m ${JEDIT} -jar "%%DATADIR%%/jedit.jar" "$@" diff --git a/editors/jext/Makefile b/editors/jext/Makefile index 971a9a001f81..ce29d7b5f9d7 100644 --- a/editors/jext/Makefile +++ b/editors/jext/Makefile @@ -15,7 +15,7 @@ MAINTAINER= vd@FreeBSD.org COMMENT= Powerful 100% pure Java text editor USE_JAVA= yes -JAVA_VERSION= 1.2+ +JAVA_VERSION= 1.5+ NO_WRKSUBDIR= yes USE_XORG= x11 NO_BUILD= yes diff --git a/editors/omegaT/Makefile b/editors/omegaT/Makefile index fb9bcad9459a..76e01234b456 100644 --- a/editors/omegaT/Makefile +++ b/editors/omegaT/Makefile @@ -20,7 +20,7 @@ RUN_DEPENDS= java:${PORTSDIR}/java/javavmwrapper USE_ZIP= yes USE_ANT= yes USE_JAVA= yes -JAVA_VERSION= 1.2+ +JAVA_VERSION= 1.5+ NO_WRKSUBDIR= yes DATADIR= ${JAVASHAREDIR}/${PORTNAME} diff --git a/editors/omegaT/files/omegaT.sh.in b/editors/omegaT/files/omegaT.sh.in index de7e1d507799..9bd8c462711d 100644 --- a/editors/omegaT/files/omegaT.sh.in +++ b/editors/omegaT/files/omegaT.sh.in @@ -9,4 +9,4 @@ if [ ! -f ${HOME}/.omegat/omegat.prefs ] ; then cp "%%DATADIR%%/omegat.prefs" ${HOME}/.omegat && chmod 644 ${HOME}/.omegat/omegat.prefs fi -JAVA_VERSION="1.2+" "%%LOCALBASE%%/bin/java" -jar "%%DATADIR%%/OmegaT.jar" "$@" +JAVA_VERSION="%%JAVA_VERSION%%" "%%LOCALBASE%%/bin/java" -jar "%%DATADIR%%/OmegaT.jar" "$@" |