diff options
| author | buraq <buraq@epfl.ch> | 2003-06-13 12:39:47 +0000 |
|---|---|---|
| committer | buraq <buraq@epfl.ch> | 2003-06-13 12:39:47 +0000 |
| commit | a00409bd98147c9cda111710a30b9b1f9b816e66 (patch) | |
| tree | daed37acc366643365ffba43423198bba8ee9a08 /build.xml | |
| parent | 84af8bf38da09da1a4fe183696739d045a72ac79 (diff) | |
| download | scala-a00409bd98147c9cda111710a30b9b1f9b816e66.tar.gz scala-a00409bd98147c9cda111710a30b9b1f9b816e66.tar.bz2 scala-a00409bd98147c9cda111710a30b9b1f9b816e66.zip | |
build file for XML tool dtd2scala
Diffstat (limited to 'build.xml')
| -rw-r--r-- | build.xml | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/build.xml b/build.xml new file mode 100644 index 0000000000..70f3087267 --- /dev/null +++ b/build.xml @@ -0,0 +1,21 @@ +<project name="scala" default="scala.xml" basedir="."> + + <!-- the bootstrap compiler jar archive --> + <property name="bootstrap.jar" value="lib/jaco.jar"/> + + <!-- 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> + +</project>
\ No newline at end of file |