diff options
author | Adriaan Moors <adriaan.moors@epfl.ch> | 2012-05-23 09:37:14 -0700 |
---|---|---|
committer | Adriaan Moors <adriaan.moors@epfl.ch> | 2012-05-23 09:37:14 -0700 |
commit | c28a8588e10187a5c1dd03dbc677da19ed7205f8 (patch) | |
tree | acd4f67eea4809a4c102c5eeb4eed6bb0bf6c22a | |
parent | d3bb612195dbaa8996ff98187cd51452a5f72f6c (diff) | |
parent | 63203c762cc17e2d690c028bdc32d474d9a526f2 (diff) | |
download | scala-c28a8588e10187a5c1dd03dbc677da19ed7205f8.tar.gz scala-c28a8588e10187a5c1dd03dbc677da19ed7205f8.tar.bz2 scala-c28a8588e10187a5c1dd03dbc677da19ed7205f8.zip |
Merge pull request #608 from vjovanov/amk-fix
Fixing the build of actors migration kit
-rw-r--r-- | build.xml | 24 |
1 files changed, 23 insertions, 1 deletions
@@ -1914,9 +1914,31 @@ DOCUMENTATION <stopwatch name="docs.continuations-plugin.timer" action="total"/> </target> + <target name="docs.pre-actors-migration" depends="docs.continuations-plugin"> + <doc-uptodate-check name="actors-migration" srcdir="${src.dir}/actors-migration" /> + </target> + + <target name="docs.actors-migration" depends="docs.pre-actors-migration" unless="docs.actors-migration.available"> + <stopwatch name="docs.actors-migration.timer"/> + <mkdir dir="${build-docs.dir}/actors-migration"/> + <scaladoc + destdir="${build-docs.dir}/actors-migration" + doctitle="Actors Migration Kit" + docversion="${version.number}" + sourcepath="${src.dir}" + classpathref="pack.classpath" + srcdir="${src.dir}/actors-migration" + addparams="${scalac.args.all}" + implicits="on" diagrams="on"> + <include name="**/*.scala"/> + </scaladoc> + <touch file="${build-docs.dir}/actors-migration.complete" verbose="no"/> + <stopwatch name="docs.actors-migration.timer" action="total"/> + </target> + <target name="docs.done" depends="docs.man"/> - <target name="docs.all" depends="docs.jline, docs.comp, docs.man, docs.lib, docs.scalap, docs.partest, docs.continuations-plugin"/> + <target name="docs.all" depends="docs.jline, docs.comp, docs.man, docs.lib, docs.scalap, docs.partest, docs.continuations-plugin, docs.actors-migration"/> <target name="docs.clean"> <delete dir="${build-docs.dir}" includeemptydirs="yes" quiet="yes" failonerror="no"/> |