changeset 6159:94605328eb2d

cygwin::cross/gcc: add comment about system's dependency libmpfr-dev.
author Jan Nieuwenhuizen <janneke@gnu.org>
date Mon, 11 Jul 2011 11:32:49 +0200
parents de1f84de0a14
children 56c0578059af
files gub/specs/cygwin/cross/gcc.py
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/gub/specs/cygwin/cross/gcc.py	Thu Jun 09 19:54:26 2011 +0100
+++ b/gub/specs/cygwin/cross/gcc.py	Mon Jul 11 11:32:49 2011 +0200
@@ -15,6 +15,7 @@
                     + ['cygwin',
                        'libiconv',
                        'libmpfr-devel',
+#                       'tools::mpfr', # ugh: use apt-get install libmpfr-dev
                        'w32api-in-usr-lib'])
     configure_flags = (cross_gcc.Gcc__mingw.configure_flags
                        + misc.join_lines ('''