diff options
author | Bruno Haible <bruno@clisp.org> | 2003-02-13 21:23:12 +0000 |
---|---|---|
committer | Bruno Haible <bruno@clisp.org> | 2009-06-23 12:09:11 +0200 |
commit | 363e1e9be868e6e8348835ca5f30ea0646ac62a5 (patch) | |
tree | f2cd75c8ebea1d1f3c6c0fc3b8563a116ab69d9f /gettext-tools | |
parent | d601bcd297d7645d5175db2c9dc0c26cf453947f (diff) | |
download | external_gettext-363e1e9be868e6e8348835ca5f30ea0646ac62a5.zip external_gettext-363e1e9be868e6e8348835ca5f30ea0646ac62a5.tar.gz external_gettext-363e1e9be868e6e8348835ca5f30ea0646ac62a5.tar.bz2 |
Move lib/javaexec.sh.in to gettext-tools/lib/javaexec.sh.in.
Diffstat (limited to 'gettext-tools')
-rw-r--r-- | gettext-tools/lib/javaexec.sh.in | 67 |
1 files changed, 67 insertions, 0 deletions
diff --git a/gettext-tools/lib/javaexec.sh.in b/gettext-tools/lib/javaexec.sh.in new file mode 100644 index 0000000..b107be3 --- /dev/null +++ b/gettext-tools/lib/javaexec.sh.in @@ -0,0 +1,67 @@ +#!/bin/sh +# Execute a Java program. + +# Copyright (C) 2001 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., 59 Temple Place - Suite 330, Boston, MA 02111-1307, 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='@JAVA@' +CONF_CLASSPATH='@CLASSPATH@' +if test -n "$CONF_JAVA"; 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 + test -z "$JAVA_VERBOSE" || echo gij "$@" + exec gij "$@" + else + if test -n "@HAVE_JAVA@"; then + test -z "$JAVA_VERBOSE" || echo java "$@" + exec java "$@" + else + if test -n "@HAVE_JRE@"; then + test -z "$JAVA_VERBOSE" || echo jre "$@" + exec jre "$@" + else + if test -n "@HAVE_JVIEW@"; then + test -z "$JAVA_VERBOSE" || echo jview "$@" + exec jview "$@" + else + echo 'Java virtual machine not found, try installing gij or set $JAVA, then reconfigure' 1>&2 + exit 1 + fi + fi + fi + fi +fi |