diff options
author | michelou <michelou@epfl.ch> | 2003-07-10 16:32:31 +0000 |
---|---|---|
committer | michelou <michelou@epfl.ch> | 2003-07-10 16:32:31 +0000 |
commit | 6cef26d980a2630e5ae875994e1d8e5438cb4abe (patch) | |
tree | 219457a33997fb45b5e19e1ef1dcd7b947edb84c /build.xml | |
parent | 7c77d7dcf6174035389fd90a87c24082db88abac (diff) | |
download | scala-6cef26d980a2630e5ae875994e1d8e5438cb4abe.tar.gz scala-6cef26d980a2630e5ae875994e1d8e5438cb4abe.tar.bz2 scala-6cef26d980a2630e5ae875994e1d8e5438cb4abe.zip |
no longer needed (integrated in Makefile)
Diffstat (limited to 'build.xml')
-rw-r--r-- | build.xml | 36 |
1 files changed, 0 insertions, 36 deletions
diff --git a/build.xml b/build.xml deleted file mode 100644 index 3a7283d016..0000000000 --- a/build.xml +++ /dev/null @@ -1,36 +0,0 @@ -<project name="scala" default="scala.xml" basedir="."> - - <!-- the bootstrap compiler jar archive --> - <property name="bootstrap.jar" value="/home/linuxsoft/apps/jaco/lib/jaco.jar"/> - <property name="pizza.jar" value="/home/linuxsoft/apps/pizza/lib/pizza.jar" /> - <property name="doc.scalac.dir" value="/tmp/doc_scalac" /> - - <!-- task definitions for pico --> - <taskdef name="pico" - classname="jaco.pizza.AntTask"> - <classpath path="${bootstrap.jar}"/> - </taskdef> - - <property name="sources" value="sources" /> <!-- the target directory --> - <property name="classes" value="classes" /> <!-- the target directory --> - - <target name="scala.xml"> - <pico srcdir="${sources}" destdir="${classes}" source="1.4" classpath="${classes}"> - <include name="scala/xml/*.java"/> - </pico> - </target> - - <target name="doc"> - - <java classpath="${pizza.jar}" classname="net.sf.pizzacompiler.compiler.Main"> - <arg value="-pizzadoc"/> - <arg value="-verbose"/> - <arg value="-d"/><arg value="${doc.scalac.dir}"/> - <arg value="-source"/><arg value="1.4"/> - <arg value="-classpath"/> <arg value="classes"/> - <arg value="sources/scalac/Main.java"/> - <arg value="sources/scalac/util/*.java"/> - </java> - </target> - -</project>
\ No newline at end of file |