Application: gvSIG desktop

#set -x

if type which >/dev/null; then

        WHICH=which

        WHICH=type

FORCE_JAVA_32BITS=""

JAVA_HOME_OTHER_ARCHITECTURE=""

PRIVATE_JAVA_HOME="$HOME/gvSIG/jre/*1.6* $HOME/gvSIG/jre/*1.5*"

#

# in next line, JAVA_HOME is set during instalation process

DEFAULT_JAVA_HOME="${JAVA_HOME}"

#

#

# Try to use java from:

# 1. Java specified in JAVA_HOME variable

# 2. Java specified in the instalation process

# 3. Java in the HOME/gvsig/jre folder (optionally created during installation process)

# 4. Java in the system path.

#

for JAVA_HOME_TO_USE in "$JAVA_HOME" "$DEFAULT_JAVA_HOME" $PRIVATE_JAVA_HOME ""

do

        if [ "$JAVA_HOME_TO_USE" = "" ] ; then

                continue

        fi

        if [ ! -d "$JAVA_HOME_TO_USE" ] ; then

                echo "WARNING: Incorrect JAVA_HOME ($JAVA_HOME_TO_USE), skip"

                continue

        fi

        if [ ! -x "$JAVA_HOME_TO_USE/bin/java" ] ; then

                echo "WARNING: Incorrect JAVA_HOME ($JAVA_HOME_TO_USE), bin/java not found, skip"

                continue

        fi

        if ! "$JAVA_HOME_TO_USE/bin/java" -d32 -version 2>/dev/null ; then

                JAVA_HOME_OTHER_ARCHITECTURE="$JAVA_HOME_TO_USE"

                echo "WARNING: java 32 bits not found in $JAVA_HOME_TO_USE, skip"

                continue

        fi

        break

done

if [ "$JAVA_HOME_TO_USE" = "" ] ; then

        # Try to use the java in the system path

        if ! type java >/dev/null ; then

                # java not found in the system path

                if [ "$JAVA_HOME_OTHER_ARCHITECTURE" != "" ] ; then

                        FORCE_JAVA_32BITS=""

                        JAVA_HOME="$JAVA_HOME_OTHER_ARCHITECTURE"

                        JAVA="$JAVA_HOME/bin/java"

                        echo "WARNING: java 32 bits not found in the system path, using $JAVA_HOME_OTHER_ARCHITECTURE"

                else

                        echo "WARNING: java not found in the system"

                        exit 1

                fi

        else

                if ! java -d32 -version 2>/dev/null ; then

                        FORCE_JAVA_32BITS=""

                        echo "WARNING: java 32 bits not found, using $($WHICH java)"

		else

        		FORCE_JAVA_32BITS="-d32"

                fi

                unset JAVA_HOME

                JAVA="java"

        fi

else

        JAVA_HOME="$JAVA_HOME_TO_USE"

        JAVA="$JAVA_HOME/bin/java"

        FORCE_JAVA_32BITS="-d32"

fi

echo "Using java $($WHICH $JAVA)"

export JAVA_HOME

export JAVA

	$FORCE_JAVA_32BITS \

	$FORCE_JAVA_32BITS \