diff options
| author | Gilles Dubochet <gilles.dubochet@epfl.ch> | 2005-11-05 22:19:45 +0000 |
|---|---|---|
| committer | Gilles Dubochet <gilles.dubochet@epfl.ch> | 2005-11-05 22:19:45 +0000 |
| commit | f2b9ba819a2ccd53995494c694d73a2fd5f408ff (patch) | |
| tree | 60b9ad7b12ae947ae872d1026cf164a57b3c9334 /build.xml | |
| parent | 9df28816efbf3ae4f39983718e4685c589e69999 (diff) | |
| download | scala-f2b9ba819a2ccd53995494c694d73a2fd5f408ff.tar.gz scala-f2b9ba819a2ccd53995494c694d73a2fd5f408ff.tar.bz2 scala-f2b9ba819a2ccd53995494c694d73a2fd5f408ff.zip | |
Added check in doc to see whether the required ...
Added check in doc to see whether the required classes are available.
Diffstat (limited to 'build.xml')
| -rw-r--r-- | build.xml | 10 |
1 files changed, 9 insertions, 1 deletions
@@ -608,10 +608,18 @@ ##################################################################### --> - <target name="docs" description="Generates all documentation." unless="skip.doc"> + <target name="docs" description="Generates all documentation." + depends="version.init" unless="skip.doc"> <echo level="verbose">oslib.jar=${oslib.jar}</echo> <echo level="verbose">oslib.src=${oslib.src}</echo> <echo level="verbose">ostools.jar=${ostools.jar}</echo> + <fail message="Required classes for OSC are missing; check the 'oslib.jar','ostools.jar' properties in 'build.${user.name}.properties'."> + <condition><not><and> + <available classname="scala.List" classpathref="osc.classpath"/> + <available classname="scala.runtime.RunTime" classpathref="osc.classpath"/> + <available classname="scala.tools.scaladoc.Main" classpathref="osc.classpath"/> + </and></not></condition> + </fail> <fileset id="oslib.src.files" dir="${sources.dir}"> <include name="scala/**/*.scala"/> <exclude name="scala/tools/**"/> |