From 63203c762cc17e2d690c028bdc32d474d9a526f2 Mon Sep 17 00:00:00 2001
From: Vojin Jovanovic <vojin.jovanovic@epfl.ch>
Date: Wed, 23 May 2012 18:27:56 +0200
Subject: Fixing the build of actors.

---
 build.xml | 24 +++++++++++++++++++++++-
 1 file changed, 23 insertions(+), 1 deletion(-)

(limited to 'build.xml')

diff --git a/build.xml b/build.xml
index 4727dffbdc..fd75141dfb 100644
--- a/build.xml
+++ b/build.xml
@@ -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"/>
-- 
cgit v1.2.3