Mercurial > gub

changeset 6116:d2fbe62e50d5

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
w32api: rename DATADIR to MINGW_DATADIR.
author Jan Nieuwenhuizen <janneke@gnu.org>
date Thu, 03 Feb 2011 19:55:51 +0100
parents 921cf70990c9
children be0da3a14325
files gub/specs/mingw-runtime.py gub/specs/w32api.py
diffstat 2 files changed, 4 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/gub/specs/mingw-runtime.py	Thu Feb 03 18:12:33 2011 +0100
+++ b/gub/specs/mingw-runtime.py	Thu Feb 03 19:55:51 2011 +0100
@@ -8,5 +8,5 @@
 cd %(srcdir)s && tar -C %(srcdir)s/ -cf - . | tar -C %(install_prefix)s -xf -
 mkdir -p %(install_prefix)s/include/sys
 #cp -p %(sourcefiledir)s/mingw-headers/wait.h %(install_prefix)s/include/sys
-mv %(install_prefix)s/doc %(install_root)s/share
+mv %(install_prefix)s/doc %(install_prefix)s/share
 ''', locals ())
--- a/gub/specs/w32api.py	Thu Feb 03 18:12:33 2011 +0100
+++ b/gub/specs/w32api.py	Thu Feb 03 19:55:51 2011 +0100
@@ -7,4 +7,7 @@
         build.BinaryBuild.untar (self)
         self.system ('''
 cd  %(srcdir)s/ && mkdir usr && mv include lib usr/
+specs/
 ''')
+        self.file_sub ([('[}] DATADIR;', '}, MINGW_DATADIR;')],
+                       '%(install_prefix)s/include/objidl.h')