Mercurial > gub

annotate gub/specs/mingw-runtime.py @ 6481:c9f348420ef1

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
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
6481
c9f348420ef1 w32api: rename DATADIR to MINGW_DATADIR.
Jan Nieuwenhuizen <janneke@gnu.org>
parents:
diff changeset
1 from gub import build
c9f348420ef1 w32api: rename DATADIR to MINGW_DATADIR.
Jan Nieuwenhuizen <janneke@gnu.org>
parents:
diff changeset
2
c9f348420ef1 w32api: rename DATADIR to MINGW_DATADIR.
Jan Nieuwenhuizen <janneke@gnu.org>
parents:
diff changeset
3 class Mingw_runtime (build.BinaryBuild, build.SdkBuild):
c9f348420ef1 w32api: rename DATADIR to MINGW_DATADIR.
Jan Nieuwenhuizen <janneke@gnu.org>
parents:
diff changeset
4 source = 'http://surfnet.dl.sourceforge.net/sourceforge/mingw/mingw-runtime-3.14.tar.gz&strip=0'
c9f348420ef1 w32api: rename DATADIR to MINGW_DATADIR.
Jan Nieuwenhuizen <janneke@gnu.org>
parents:
diff changeset
5 def install (self):
c9f348420ef1 w32api: rename DATADIR to MINGW_DATADIR.
Jan Nieuwenhuizen <janneke@gnu.org>
parents:
diff changeset
6 self.system ('''
c9f348420ef1 w32api: rename DATADIR to MINGW_DATADIR.
Jan Nieuwenhuizen <janneke@gnu.org>
parents:
diff changeset
7 mkdir -p %(install_prefix)s/share
c9f348420ef1 w32api: rename DATADIR to MINGW_DATADIR.
Jan Nieuwenhuizen <janneke@gnu.org>
parents:
diff changeset
8 cd %(srcdir)s && tar -C %(srcdir)s/ -cf - . | tar -C %(install_prefix)s -xf -
c9f348420ef1 w32api: rename DATADIR to MINGW_DATADIR.
Jan Nieuwenhuizen <janneke@gnu.org>
parents:
diff changeset
9 mkdir -p %(install_prefix)s/include/sys
c9f348420ef1 w32api: rename DATADIR to MINGW_DATADIR.
Jan Nieuwenhuizen <janneke@gnu.org>
parents:
diff changeset
10 #cp -p %(sourcefiledir)s/mingw-headers/wait.h %(install_prefix)s/include/sys
c9f348420ef1 w32api: rename DATADIR to MINGW_DATADIR.
Jan Nieuwenhuizen <janneke@gnu.org>
parents:
diff changeset
11 mv %(install_prefix)s/doc %(install_prefix)s/share
c9f348420ef1 w32api: rename DATADIR to MINGW_DATADIR.
Jan Nieuwenhuizen <janneke@gnu.org>
parents:
diff changeset
12 ''', locals ())