#!/bin/sh # Execute a Java program. # Copyright (C) 2001-2020 Free Software Foundation, Inc. # Written by Bruno Haible , 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 3 of the License, 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, see . # 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