Mercurial > gub

diff 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
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/gub/specs/mingw-runtime.py	Thu Feb 03 19:55:51 2011 +0100
@@ -0,0 +1,12 @@
+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 ())