From d06fa3e155855d9b7fce9abd5e65e4e78b7fec31 Mon Sep 17 00:00:00 2001
From: "gergely.erdelyi" <gergely.erdelyi@fccdda4b-c33c-0410-84de-61e1e3e5f415>
Date: Fri, 15 Aug 2008 20:51:16 +0000
Subject: [PATCH] build.py: Make ZIP archives of the builds

---
 build.py | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/build.py b/build.py
index 92962a6..a7b9bca 100644
--- a/build.py
+++ b/build.py
@@ -12,6 +12,7 @@
 # build.py - Custom build script
 #------------------------------------------------------------
 import os, sys, platform, types, shutil
+import zipfile
 from distutils import sysconfig
 
 # Start of user configurable options
@@ -246,6 +247,10 @@ def build_distribution(manifest, distrootdir):
     # Remove the previous distibution if exits
     if os.path.exists(distrootdir):
         shutil.rmtree(distrootdir)
+
+    # Also make a ZIP archive of the build
+    zippath = distrootdir + ".zip"
+    zip = zipfile.ZipFile(zippath, "w", zipfile.ZIP_DEFLATED)
     
     # Create output directory
     os.makedirs(distrootdir)
@@ -271,9 +276,10 @@ def build_distribution(manifest, distrootdir):
             os.makedirs(dstdir)
             
         dstfilepath = dstdir + os.sep + srcfilename
-
         shutil.copyfile(srcfilepath, dstfilepath)
+        zip.write(dstfilepath)
 
+    zip.close()
 
 def build_plugin(system, idasdkdir):
     """ Build the plugin from the SWIG wrapper and plugin main source """