mirror of
https://git.freebsd.org/ports.git
synced 2025-07-03 02:20:33 -04:00
0b2143107d
JAVA_VERSION and JAVA_OS values so that no wrong JDK can be picked up by javavm(1). PR: 86860 Discussed with: Panagiotis Astithas <past@ebs.gr>
49 lines
1.3 KiB
Bash
49 lines
1.3 KiB
Bash
#!/bin/sh
|
|
#
|
|
# FreeBSD-specific startup script for Eclipse Platform
|
|
#
|
|
# See: http://www.eclipse.org
|
|
#
|
|
# $FreeBSD$
|
|
#
|
|
|
|
DEFAULT_JAVA_HOME=%%PREFIX%%
|
|
ECLIPSE_HOME=%%ECLIPSE_HOME%%
|
|
DEFAULT_JAVA_CMD=java
|
|
export MOZILLA_FIVE_HOME=%%X11BASE%%/lib/%%BROWSER%%
|
|
export LD_LIBRARY_PATH=$MOZILLA_FIVE_HOME:$LD_LIBRARY_PATH
|
|
|
|
|
|
#-----------------------------------------------------------------------------
|
|
# Determine configuration settings
|
|
#-----------------------------------------------------------------------------
|
|
|
|
# Determine the JDK home directory
|
|
if [ -z "${JAVA_HOME}" ]; then
|
|
JAVA_HOME=${DEFAULT_JAVA_HOME}
|
|
fi
|
|
|
|
# Determine 'java' executable
|
|
if [ -z "${JAVACMD}" ]; then
|
|
if [ -n "${JAVA_HOME}" ]; then
|
|
JAVACMD="${JAVA_HOME}/bin/java"
|
|
else
|
|
JAVACMD=${DEFAULT_JAVACMD}
|
|
fi
|
|
fi
|
|
|
|
# Check if 'java' executable can be found
|
|
if [ ! -x "$JAVACMD" ]; then
|
|
echo "Error: JAVA_HOME is not defined correctly: ${JAVA_HOME}"
|
|
echo " Unable to find ${JAVACMD}"
|
|
exit 1
|
|
fi
|
|
|
|
# Check if 'eclipse' executable can be found
|
|
if [ ! -x "${ECLIPSE_HOME}/eclipse" ]; then
|
|
echo "Error: ECLIPSE_HOME is not defined correctly: ${ECLIPSE_HOME}"
|
|
echo " Unable to find eclipse launcher binary"
|
|
exit 1
|
|
fi
|
|
|
|
JAVA_VERSION="%%JAVA_VERSION%%" JAVA_OS="%%JAVA_OS%%" PATH=${JAVA_HOME}/bin:${PATH} exec "${ECLIPSE_HOME}/eclipse" $@
|