changeset 5805:4d2b7d9df4f8

installer: some lilypond-ancient-specific prune workarounds.
author Jan Nieuwenhuizen <janneke@gnu.org>
date Thu, 15 Oct 2009 10:11:49 +0200
parents 9f98932bfdf1
children 006c153e9797
files gub/installer.py
diffstat 1 files changed, 23 insertions(+), 6 deletions(-) [+]
line wrap: on
line diff
--- a/gub/installer.py	Thu Oct 15 10:11:24 2009 +0200
+++ b/gub/installer.py	Thu Oct 15 10:11:49 2009 +0200
@@ -162,10 +162,7 @@
             'bin/envsubst*',
             'bin/msg*',
             'bin/xmlwf',
-            'cross/', # ugh, must keep cross-ancient/lib
-            'cross-ancient/bin',
-            'cross-ancient/i686-linux',
-            'cross-ancient/include',
+            'cross',
             'doc',
             'include',
             'info',
@@ -241,9 +238,29 @@
         for p in self.strip_prefixes ():
             delete_me += p + '%(i)s '
 
+        keep = []
+        if self.name.startswith ('lilypond-ancient'):
+            keep += [
+                'cross',
+                'share/doc',
+                'share/lilypond/*/tex',
+                'share/lilypond/*/fonts/source',
+                'share/lilypond/*/fonts/tfm',
+                ]
+            globs += [
+                'share/doc/[^l]*',
+                'share/doc/l[^i]*',
+                'share/doc/li[^l]*',
+                'cross/',
+                'cross-ancient/bin',
+                'cross-ancient/i686-linux',
+                'cross-ancient/include',
+                ]
+
         for i in globs:
-            # [^..] dash globbing is broken, {,} globbing is bashism
-            self.system ("cd %(installer_root)s && bash -c 'rm -rf " + delete_me + "'", {'i': i }, locals ())
+            if not i in keep:
+                # [^..] dash globbing is broken, {,} globbing is bashism
+                self.system ("cd %(installer_root)s && bash -c 'rm -rvf " + delete_me + "'", {'i': i }, locals ())
 
     def strip_dir (self, dir):
         misc.map_command_dir (self,