view gub/specs/mingw-runtime.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
children
line wrap: on
line source

from gub import build

class Mingw_runtime (build.BinaryBuild, build.SdkBuild):
    source = 'http://surfnet.dl.sourceforge.net/sourceforge/mingw/mingw-runtime-3.14.tar.gz&strip=0'
    def install (self):
        self.system ('''
mkdir -p %(install_prefix)s/share
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_prefix)s/share
''', locals ())