From 61f8b1037434fa51f7c7c57aecd421c822a9dbd7 Mon Sep 17 00:00:00 2001
From: endolf <endolf@java.net>
Date: Wed, 6 Aug 2003 17:49:43 +0000
Subject: [PATCH] Added dist target

---
 build.xml | 21 ++++++++++++++++++++-
 1 file changed, 20 insertions(+), 1 deletion(-)

diff --git a/build.xml b/build.xml
index 51ca800..021dde1 100644
--- a/build.xml
+++ b/build.xml
@@ -71,7 +71,26 @@
         <ant dir="plugins/DX8" target="clean"/>
         <ant dir="plugins/linux" target="clean"/>
         <ant dir="coreAPI" target="clean"/>
+        <delete failonerror="no">
+            <fileset dir="dist">
+                <include name="**/*"/>
+            </fileset>
+        </delete>
     </target>
     
-
+    <target name="dist" depends="init,compile" description="Build the distribution file for this system">
+        <mkdir dir="dist"/>
+        <mkdir dir="dist/controller"/>
+        <copy file="coreAPI/bin/jinput.jar" todir="dist"/>
+        <copy file="coreAPI/lib/jutils.jar" todir="dist"/>
+        <copy todir="dist/controller">
+            <fileset dir="coreAPI/src/tests/controller/">
+                <include name="**/*"/>
+            </fileset>
+        </copy>
+        <zip destfile="dist/jinput_${os.name}_dist.zip" 
+            basedir="dist"
+            excludes="*.zip"
+            />
+    </target>
 </project>