# HG changeset patch
# User Jan Nieuwenhuizen <janneke@gnu.org>
# Date 1296753153 -3600
# Node ID 14886f8027676db6a670a602cfd03728246951b5
# Parent  7236e510eec3ba9087620573cc128e2d51ca4bc0
mingw::libxml2: avoin using mingw mmap's sys/mman.h

diff -r 7236e510eec3 -r 14886f802767 gub/specs/libxml2.py
--- a/gub/specs/libxml2.py	Thu Feb 03 17:09:45 2011 +0100
+++ b/gub/specs/libxml2.py	Thu Feb 03 18:12:33 2011 +0100
@@ -20,6 +20,12 @@
                 + misc.join_lines ('''
 --without-threads
 '''))
+    # Hmm, should rename sys/mman.h to sys/mingw-mman.h?
+    config_cache_overrides = (Libxml2.config_cache_overrides
+                              + '''
+ac_cv_header_sys_mman_h=${ac_cv_header_sys_mman_h=no}
+''')
+
     def install (self):
         Libxml2.install (self)
         self.copy ('%(install_prefix)s/lib/libxml2.la', '%(install_prefix)s/lib/libxml2-2.la')