| Index: bison/src/bison/2.4.1/bison-2.4.1-src/build-aux/javaexec.sh.in
|
| ===================================================================
|
| --- bison/src/bison/2.4.1/bison-2.4.1-src/build-aux/javaexec.sh.in (revision 0)
|
| +++ bison/src/bison/2.4.1/bison-2.4.1-src/build-aux/javaexec.sh.in (revision 0)
|
| @@ -0,0 +1,70 @@
|
| +#!/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 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 <http://www.gnu.org/licenses/>.
|
| +
|
| +# 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
|
|
|