diff options
Diffstat (limited to 'gnulib/build-aux/javaexec.sh.in')
m--------- | gnulib | 0 | ||||
-rw-r--r-- | gnulib/build-aux/javaexec.sh.in | 70 |
2 files changed, 70 insertions, 0 deletions
diff --git a/gnulib b/gnulib deleted file mode 160000 -Subproject 443bc5ffcf7429e557f4a371b0661abe98ddbc1 diff --git a/gnulib/build-aux/javaexec.sh.in b/gnulib/build-aux/javaexec.sh.in new file mode 100644 index 0000000..e273e42 --- /dev/null +++ b/gnulib/build-aux/javaexec.sh.in @@ -0,0 +1,70 @@ +#!/bin/sh +# Execute a Java program. + +# Copyright (C) 2001, 2006, 2009-2011 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 |