b45dbae
#!/bin/sh
b45dbae
b45dbae
##############################################################################
b45dbae
# Scala doc generator 2.6.1-RC2
b45dbae
##############################################################################
b45dbae
# (c) 2002-2007 LAMP/EPFL
b45dbae
#
b45dbae
# This is free software; see the distribution for copying conditions.
b45dbae
# There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A
b45dbae
# PARTICULAR PURPOSE.
b45dbae
##############################################################################
b45dbae
b45dbae
[ -r @@JAVADIR@@-utils/java-functions ] \
b45dbae
 && . @@JAVADIR@@-utils/java-functions || exit 1
b45dbae
b45dbae
set_javacmd || exit 3
b45dbae
check_java_env || exit 4
b45dbae
set_jvm_dirs || exit 5
b45dbae
b45dbae
SCALA_HOME="@@DATADIR@@/scala"
b45dbae
b45dbae
# Constructing the extension classpath
b45dbae
EXTENSION_CLASSPATH=""
b45dbae
if [ -z "$EXTENSION_CLASSPATH" ] ; then
b45dbae
    for ext in `ls -d "$SCALA_HOME"/lib/*` ; do
b45dbae
        if [ -z "$EXTENSION_CLASSPATH" ] ; then
b45dbae
            EXTENSION_CLASSPATH="$ext"
b45dbae
        else
b45dbae
            EXTENSION_CLASSPATH="$EXTENSION_CLASSPATH:$ext"
b45dbae
        fi
b45dbae
    done
b45dbae
fi
b45dbae
b45dbae
BOOT_CLASSPATH="`build-classpath scala/scala-library`"
b45dbae
b45dbae
if [ $? != 0 ]; then
b45dbae
  echo $"Could not find the scala library jar." >&2
b45dbae
  echo $"Please check that Java is configured properly." >&2
b45dbae
  exit 6
b45dbae
fi
b45dbae
b45dbae
# Reminder: substitution ${JAVA_OPTS:=-Xmx256M -Xms16M} DO NOT work on Solaris
b45dbae
[ -n "$JAVA_OPTS" ] || JAVA_OPTS="-Xmx256M -Xms16M"
b45dbae
b45dbae
$JAVACMD $JAVA_OPTS -Xbootclasspath/a:"$BOOT_CLASSPATH" -cp "$EXTENSION_CLASSPATH" -Dscala.home="$SCALA_HOME" -Denv.classpath="$CLASSPATH" -Denv.emacs="$EMACS"  scala.tools.nsc.Main -Ydoc "$@"