From 9d45d872a78d092e276aa6243fb4017ab5735940 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Thu, 14 Feb 2013 10:26:15 -0800
Subject: [PATCH] Compress Z3 distribution zip files

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 scripts/mk_unix_dist.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/mk_unix_dist.py b/scripts/mk_unix_dist.py
index 3b9511367..8256236cb 100644
--- a/scripts/mk_unix_dist.py
+++ b/scripts/mk_unix_dist.py
@@ -190,7 +190,7 @@ def mk_zip():
     try:
         os.chdir(DIST_DIR)
         zfname = '%s.zip' % dist_path
-        ZIPOUT = zipfile.ZipFile(zfname, 'w')
+        ZIPOUT = zipfile.ZipFile(zfname, 'w', zipfile.ZIP_DEFLATED)
         os.path.walk(dist_path, mk_zip_visitor, '*')
         if is_verbose():
             print "Generated '%s'" % zfname