mirror of
https://git.FreeBSD.org/ports.git
synced 2025-01-15 07:56:36 +00:00
47 lines
1.2 KiB
Bash
47 lines
1.2 KiB
Bash
#!/bin/sh
|
|
#
|
|
# FreeBSD-specific startup script for Eclipse Platform
|
|
#
|
|
# See: http://www.eclipse.org
|
|
#
|
|
# $FreeBSD$
|
|
#
|
|
DEFAULT_JAVA_HOME=%%JAVA_HOME%%
|
|
ECLIPSE_HOME=%%ECLIPSE_HOME%%
|
|
DEFAULT_JAVA_CMD=java
|
|
export GRE_HOME=%%LOCALBASE%%/lib/%%BROWSER%%
|
|
|
|
#-----------------------------------------------------------------------------
|
|
# 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} %%SWTGTK3OPT%% exec "${ECLIPSE_HOME}/eclipse" "$@"
|