# HG changeset patch
# User wenzelm
# Date 1335985079 -7200
# Node ID ec58b1fbe7b783d8e83caaca3d7cdb9413f885d5
# Parent  57d1df2f2a0fde1895dedd3458eae4f7bc908575
save 90MB by removing foreign binaries -- multi-platform installations are unlikely on Windows;

diff -r 57d1df2f2a0f -r ec58b1fbe7b7 Admin/makebundle
--- a/Admin/makebundle	Wed May 02 20:43:57 2012 +0200
+++ b/Admin/makebundle	Wed May 02 20:57:59 2012 +0200
@@ -76,6 +76,15 @@
   rm -f "$ISABELLE_HOME/Isabelle"
   tar -C "$ISABELLE_HOME" -xv -f "$TAR"
 
+  (
+    cd "$ISABELLE_HOME"
+    for DIR in $(find contrib -name x86-linux -o -name x86_64-linux -o -name x86-darwin -o -name x86_64-darwin | sort)
+    do
+      echo "removing $DIR"
+      rm -rf "$DIR"
+    done
+  )
+
   mv "$ISABELLE_HOME/contrib"/polyml* "$ISABELLE_HOME/contrib/cygwin-1.7.9/usr/local/"
   (
     cd "$ISABELLE_HOME/contrib/cygwin-1.7.9"