view gub/specs/w32api.py @ 6481:c9f348420ef1

w32api: rename DATADIR to MINGW_DATADIR.
author Jan Nieuwenhuizen <janneke@gnu.org>
date Thu, 03 Feb 2011 19:55:51 +0100
parents 647380874504
children beb7a91631b5
line wrap: on
line source

from gub import build

class W32api (build.BinaryBuild, build.SdkBuild):
    source = 'http://sourceforge.net/projects/mingw/files/MinGW/Base/w32api/w32api-3.17/w32api-3.17-2-mingw32-dev.tar.lzma&strip=0'
    dependencies = [ 'tools::xzutils' ]
    def install (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')