scala/scaladoc.in

46 lines
1.5 KiB
Bash

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