add dotty-doc to the package

Author: liufengyun

dist/bin/common

@@ -98,6 +98,7 @@ for filename in $PROG_HOME/lib/*.jar; do
   [[ $filename =~ .*dotty-compiler.*.jar ]] && DOTTY_COMP=$filename
   [[ $filename =~ .*dotty-interfaces.*.jar ]] && DOTTY_INTF=$filename
   [[ $filename =~ .*dotty-library.*.jar ]] && DOTTY_LIB=$filename
+  [[ $filename =~ .*dotty-doc.*.jar ]] && DOTTY_DOC=$filename
   [[ $filename =~ .*scala-asm.*.jar ]] && SCALA_ASM=$filename
   [[ $filename =~ .*scala-library.*.jar ]] && SCALA_LIB=$filename
   [[ $filename =~ .*scala-xml.*.jar ]] && SCALA_XML=$filename

dist/bin/dotd

@@ -0,0 +1,114 @@
+#!/usr/bin/env bash
+
+if [ -z "$PROG_HOME" ] ; then
+  ## resolve links - $0 may be a link to PROG_HOME
+  PRG="$0"
+
+  # need this for relative symlinks
+  while [ -h "$PRG" ] ; do
+    ls=`ls -ld "$PRG"`
+    link=`expr "$ls" : '.*-> \(.*\)$'`
+    if expr "$link" : '/.*' > /dev/null; then
+      PRG="$link"
+    else
+      PRG="`dirname "$PRG"`/$link"
+    fi
+  done
+
+  saveddir=`pwd`
+
+  PROG_HOME=`dirname "$PRG"`/..
+
+  # make it fully qualified
+  PROG_HOME=`cd "$PROG_HOME" && pwd`
+
+  cd "$saveddir"
+fi
+
+source "$PROG_HOME/bin/common"
+
+default_java_opts="-Xmx768m -Xms768m"
+bootcp=true
+
+PROG_NAME=dotty.tools.dottydoc.Main
+
+addJava () {
+  java_args+=("$1")
+}
+addScala () {
+  scala_args+=("$1")
+}
+addResidual () {
+  residual_args+=("$1")
+}
+
+classpathArgs () {
+  # echo "dotty-compiler: $DOTTY_COMP"
+  # echo "dotty-interface: $DOTTY_INTF"
+  # echo "dotty-library: $DOTTY_LIB"
+  # echo "dotty-doc: $DOTTY_DOC"
+  # echo "scala-asm: $SCALA_ASM"
+  # echo "scala-lib: $SCALA_LIB"
+  # echo "scala-xml: $SCALA_XML"
+  # echo "sbt-intface: $SBT_INTF"
+
+  toolchain=""
+  toolchain+="$SCALA_LIB$PSEP"
+  toolchain+="$DOTTY_LIB$PSEP"
+  toolchain+="$SCALA_ASM$PSEP"
+  toolchain+="$SBT_INTF$PSEP"
+  toolchain+="$DOTTY_INTF$PSEP"
+  toolchain+="$DOTTY_LIB$PSEP"
+  toolchain+="$DOTTY_COMP$PSEP"
+  toolchain+="$DOTTY_DOC"
+
+  if [[ -n "$bootcp" ]]; then
+    jvm_cp_args="-Xbootclasspath/a:$toolchain"
+  else
+    jvm_cp_args="-classpath $toolchain"
+  fi
+}
+
+while [[ $# -gt 0 ]]; do
+case "$1" in
+           --) shift; for arg; do addResidual "$arg"; done; set -- ;;
+     -h|-help) help=true && shift ;;
+  -v|-verbose) verbose=true && shift ;;
+    -debug) debug=true && shift ;;
+    -q|-quiet) quiet=true && shift ;;
+
+    # Optimize for short-running applications, see https://github.com/lampepfl/dotty/issues/222
+    -Oshort) addJava "-XX:+TieredCompilation -XX:TieredStopAtLevel=1" && shift ;;
+        -repl) PROG_NAME="$ReplMain" && shift ;;
+       -tasty) PROG_NAME="$FromTasty" && shift ;;
+     -compile) PROG_NAME="$CompilerMain" && shift ;;
+         -run) PROG_NAME="$ReplMain" && shift ;;
+      -bootcp) bootcp=true && shift ;;
+   -nobootcp) unset bootcp && shift ;;
+      -colors) colors=true && shift ;;
+   -no-colors) unset colors && shift ;;
+      -jrebel) jrebel=true && shift ;;
+   -no-jrebel) unset jrebel && shift ;;
+
+      -toolcp) require_arg classpath "$1" "$2" && toolcp="$2" && shift 2 ;;
+
+          # break out -D and -J options and add them to JAVA_OPTS as well
+          # so they reach the JVM in time to do some good. The -D options
+          # will be available as system properties.
+          -D*) addJava "$1" && addScala "$1" && shift ;;
+          -J*) addJava "${1:2}" && addScala "$1" && shift ;;
+            *) addResidual "$1" && shift ;;
+  esac
+done
+
+classpathArgs
+
+eval exec "\"$JAVACMD\"" \
+     ${JAVA_OPTS:-$default_java_opts} \
+     "${java_args[@]}" \
+     "$jvm_cp_args" \
+     -Dscala.usejavacp=true \
+     "$PROG_NAME"  \
+     "${scala_args[@]}" \
+     "${residual_args[@]}"
+exit $?

project/Build.scala

@@ -1043,7 +1043,7 @@ object DottyInjectedPlugin extends AutoPlugin {
   }
 
   lazy val dist = project.
-    aggregate(`dotty-interfaces`, `dotty-library`, `dotty-compiler`).
+    aggregate(`dotty-interfaces`, `dotty-library`, `dotty-compiler`, `dotty-doc`).
     dependsOn(`dotty-compiler`).
     dependsOn(`dotty-library`).
     settings(commonNonBootstrappedSettings).