mirror of
https://https.git.savannah.gnu.org/git/gnulib.git
synced 2026-09-01 11:16:02 +00:00
72 lines
2.5 KiB
Bash
72 lines
2.5 KiB
Bash
#!/bin/sh
|
|
# Execute a Java program.
|
|
|
|
# Copyright (C) 2001, 2006 Free Software Foundation, Inc.
|
|
# Written by Bruno Haible <haible@clisp.cons.org>, 2001.
|
|
#
|
|
# This program is free software; you can redistribute it and/or modify
|
|
# it under the terms of the GNU General Public License as published by
|
|
# the Free Software Foundation; either version 2, or (at your option)
|
|
# any later version.
|
|
#
|
|
# This program is distributed in the hope that it will be useful,
|
|
# but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
# GNU General Public License for more details.
|
|
#
|
|
# You should have received a copy of the GNU General Public License
|
|
# along with this program; if not, write to the Free Software Foundation,
|
|
# Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
|
|
|
|
# This uses the same choices as javaexec.c, but instead of relying on the
|
|
# environment settings at run time, it uses the environment variables
|
|
# present at configuration time.
|
|
#
|
|
# This is a separate shell script, because it must be able to unset JAVA_HOME
|
|
# in some cases, which a simple shell command cannot do.
|
|
#
|
|
# The extra CLASSPATH must have been set prior to calling this script.
|
|
|
|
CONF_JAVA='@CONF_JAVA@'
|
|
CONF_CLASSPATH='@CLASSPATH@'
|
|
if test -n "@HAVE_JAVA_ENVVAR@"; then
|
|
# Combine given CLASSPATH and configured CLASSPATH.
|
|
if test -n "$CLASSPATH"; then
|
|
CLASSPATH="$CLASSPATH${CONF_CLASSPATH:+@CLASSPATH_SEPARATOR@$CONF_CLASSPATH}"
|
|
else
|
|
CLASSPATH="$CONF_CLASSPATH"
|
|
fi
|
|
export CLASSPATH
|
|
test -z "$JAVA_VERBOSE" || echo "$CONF_JAVA $@"
|
|
exec $CONF_JAVA "$@"
|
|
else
|
|
unset JAVA_HOME
|
|
export CLASSPATH
|
|
if test -n "@HAVE_GIJ@"; then
|
|
# In this case, $CONF_JAVA is "gij".
|
|
test -z "$JAVA_VERBOSE" || echo "$CONF_JAVA $@"
|
|
exec $CONF_JAVA "$@"
|
|
else
|
|
if test -n "@HAVE_JAVA@"; then
|
|
# In this case, $CONF_JAVA is "java".
|
|
test -z "$JAVA_VERBOSE" || echo "$CONF_JAVA $@"
|
|
exec $CONF_JAVA "$@"
|
|
else
|
|
if test -n "@HAVE_JRE@"; then
|
|
# In this case, $CONF_JAVA is "jre".
|
|
test -z "$JAVA_VERBOSE" || echo "$CONF_JAVA $@"
|
|
exec $CONF_JAVA "$@"
|
|
else
|
|
if test -n "@HAVE_JVIEW@"; then
|
|
# In this case, $CONF_JAVA is "jview".
|
|
test -z "$JAVA_VERBOSE" || echo "$CONF_JAVA $@"
|
|
exec $CONF_JAVA "$@"
|
|
else
|
|
echo 'Java virtual machine not found, try installing gij or set $JAVA, then reconfigure' 1>&2
|
|
exit 1
|
|
fi
|
|
fi
|
|
fi
|
|
fi
|
|
fi
|