From 0ab820501a2cd3a3fac90fdd4dea1a432d49de9e Mon Sep 17 00:00:00 2001
From: michelou <michelou@epfl.ch>
Date: Wed, 7 Jun 2006 09:07:33 +0000
Subject: added Scala project to build HTML and man pages

---
 docs/man/build.xml | 97 ++++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 97 insertions(+)
 create mode 100644 docs/man/build.xml

(limited to 'docs/man/build.xml')

diff --git a/docs/man/build.xml b/docs/man/build.xml
new file mode 100644
index 0000000000..012ac076da
--- /dev/null
+++ b/docs/man/build.xml
@@ -0,0 +1,97 @@
+<?xml version="1.0" encoding="UTF-8"?>
+
+<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.dir=${scala.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="scala"/>
+    <emit command="scalac"/>
+    <emit command="scaladoc"/>
+    <emit command="scalaint"/>
+    <emit command="scalascript"/>
+    <fixcrlf srcdir="${dist.dir}" eol="lf"/>
+  </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>
-- 
cgit v1.2.3