From 224a7bf768bfba423fb685f979c69e5ffe609f44 Mon Sep 17 00:00:00 2001
From: "David A. Mellis" <d.mellis@arduino.cc>
Date: Sun, 3 Oct 2010 21:21:27 -0400
Subject: [PATCH] Adding source-dist target to build.xml.

http://code.google.com/p/arduino/issues/detail?id=193
---
 build/build.xml | 32 ++++++++++++++++++++++++++++++++
 1 file changed, 32 insertions(+)

diff --git a/build/build.xml b/build/build.xml
index 7ba718d92..4fa426eed 100644
--- a/build/build.xml
+++ b/build/build.xml
@@ -471,7 +471,39 @@
     </echo>
   </target>
   
+
+  <!-- - - - - - - - -->
+  <!-- Source        -->
+  <!-- - - - - - - - -->
+ 
+   <target name="source-dist" depends="revision-check"
+	  description="Build .tar.gz of source code">
+    <input message="Enter version number:" 
+	   addproperty="version"
+	   defaultvalue="${revision}" />
+
+    <tar compression="gzip" destfile="arduino-${version}-src.tar.gz">
+      <tarfileset dir="../" 
+		  prefix="arduino-${version}" 
+		  excludes="**/*.tgz,
+			     **/macosx/,
+			     **/windows/,
+			     **/work/,
+			     **/.git/,
+			     **/*.class"
+		  /> 
+    </tar>
+
+    <echo>
+      =======================================================
+      Arduino source distribution was built. Grab the archive from   
+      
+      arduino-${version}-src.tar.gz
+      =======================================================
+    </echo>
+  </target>
   
+
   <!-- - - - - - - - -->
   <!-- Run It!       -->
   <!-- - - - - - - - -->