diff options
Diffstat (limited to 'docs/man/build.xml')
-rw-r--r-- | docs/man/build.xml | 108 |
1 files changed, 0 insertions, 108 deletions
diff --git a/docs/man/build.xml b/docs/man/build.xml deleted file mode 100644 index ef7a3ababa..0000000000 --- a/docs/man/build.xml +++ /dev/null @@ -1,108 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<!-- $Id$ --> - -<project name="scala-manpages" default="build"> - - <property environment="env"/> - <property file="${basedir}/build.properties"/> - - <property name="scala.lib.dir" value="../../lib"/> - <property name="scala-library.jar" value="${scala.lib.dir}/scala-library.jar"/> - <property name="scala-compiler.jar" value="${scala.lib.dir}/scala-compiler.jar"/> - - <property name="src.dir" value="${basedir}/src"/> - <property name="build.dir" value="${basedir}/classes"/> - <property name="dist.dir" value="${basedir}/dists"/> - - <target name="init"> - <echo level="verbose">scala.lib.dir=${scala.lib.dir}</echo> - <fail message="A required Scala library is missing."> - <condition><not><and> - <available file="${scala-library.jar}"/> - <available file="${scala-compiler.jar}"/> - </and></not></condition> - </fail> - <path id="scala.classpath"> - <pathelement location="${scala-library.jar}"/> - <pathelement location="${scala-compiler.jar}"/> - </path> - <taskdef - name="scalac" - classname="scala.tools.ant.Scalac" - classpathref="scala.classpath" - /> - <path id="build.classpath"> - <pathelement location="${scala-library.jar}"/> - <pathelement location="${build.dir}"/> - </path> - </target> - - <target name="build" depends="init"> - <mkdir dir="${build.dir}"/> - <scalac - srcdir="${src.dir}" - destdir="${build.dir}" - classpathref="build.classpath" - /> - </target> - - <target name="dist" depends="build"> - <mkdir dir="${dist.dir}"/> - <emit command="sbaz"/> - <emit command="scala"/> - <emit command="scalac"/> - <emit command="scaladoc"/> - <emit command="scalaint"/> - <emit command="scalap"/> - <emit command="scalascript"/> - <fixcrlf srcdir="${dist.dir}" eol="unix" includes="**/*.1"/> - <copy todir="${dist.dir}"> - <fileset dir="${src.dir}"> - <include name="**/*.html"/> - <include name="**/*.css"/> - <include name="**/*.gif"/> - <include name="**/*.png"/> - </fileset> - </copy> - </target> - - <macrodef name="emit"> - <attribute name="command"/> - <sequential> - <java classname="man.EmitHtml" - output="${dist.dir}/@{command}.html" - classpathref="build.classpath" - fork="true" logError="yes" - > - <arg value="@{command}"/> - </java> - <java classname="man.EmitManPage" - output="${dist.dir}/@{command}.1" - classpathref="build.classpath" - logError="yes" fork="true" - > - <arg value="@{command}"/> - </java> - </sequential> - </macrodef> - - <macrodef name="remove"> - <attribute name="dir"/> - <sequential> - <delete dir="@{dir}" - includeemptydirs="yes" - quiet="yes" - failonerror="no"/> - </sequential> - </macrodef> - - <target name="clean"> - <remove dir="${build.dir}"/> - </target> - - <target name="clean.all"> - <remove dir="${build.dir}"/> - <remove dir="${dist.dir}"/> - </target> - -</project> |