comparison 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
comparison
equal deleted inserted replaced
6480:14886f802767 6481:c9f348420ef1
1 from gub import build
2
3 class Mingw_runtime (build.BinaryBuild, build.SdkBuild):
4 source = 'http://surfnet.dl.sourceforge.net/sourceforge/mingw/mingw-runtime-3.14.tar.gz&strip=0'
5 def install (self):
6 self.system ('''
7 mkdir -p %(install_prefix)s/share
8 cd %(srcdir)s && tar -C %(srcdir)s/ -cf - . | tar -C %(install_prefix)s -xf -
9 mkdir -p %(install_prefix)s/include/sys
10 #cp -p %(sourcefiledir)s/mingw-headers/wait.h %(install_prefix)s/include/sys
11 mv %(install_prefix)s/doc %(install_prefix)s/share
12 ''', locals ())