Can install data.

1 files changed, 17 insertions, 4 deletions

diff --git a/builder_install.py b/builder_install.py
index 8731443..bc32adf 100755
--- a/builder_install.py
+++ b/builder_install.py
@@ -23,6 +23,7 @@ class InstallData():
         self.dep_prefix = dep_prefix
         self.headers = []
         self.man = []
+        self.data = []
 
 def do_install(datafilename):
     ifile = open(datafilename, 'rb')
@@ -30,6 +31,17 @@ def do_install(datafilename):
     install_targets(d)
     install_headers(d)
     install_man(d)
+    install_data(d)
+
+def install_data(d):
+    for i in d.data:
+        fullfilename = i[0]
+        outfilename = i[1]
+        outdir = os.path.split(outfilename)[0]
+        os.makedirs(outdir, exist_ok=True)
+        print('Installing %s to %s.' % (fullfilename, outdir))
+        gzip.open(outfilename, 'w').write(open(fullfilename, 'rb').read())
+        shutil.copystat(fullfilename, outfilename)
 
 def install_man(d):
     for m in d.man:
@@ -38,18 +50,19 @@ def install_man(d):
         outdir = os.path.split(outfilename)[0]
         os.makedirs(outdir, exist_ok=True)
         print('Installing %s to %s.' % (fullfilename, outdir))
-        gzip.open(outfilename, 'w').write(open(fullfilename, 'rb').read())
-        
+        shutil.copyfile(fullfilename, outfilename)
+        shutil.copystat(fullfilename, outfilename)
 
 def install_headers(d):
     for t in d.headers:
         fullfilename = t[0]
         outdir = t[1]
         fname = os.path.split(fullfilename)[1]
-        outname = os.path.join(outdir, fname)
+        outfilename = os.path.join(outdir, fname)
         print('Installing %s to %s' % (fname, outdir))
         os.makedirs(outdir, exist_ok=True)
-        shutil.copyfile(fullfilename, outname)
+        shutil.copyfile(fullfilename, outfilename)
+        shutil.copystat(fullfilename, outfilename)
 
 def install_targets(d):
     for t in d.targets: