This looks like a bug, right? Indeed, MPFR depends on MPIR, and so MPIR must be built first!
Moreover, if your MPFR is broken, and you want to rebuild MPIR for some reason (e.g. to use different settings, needed by MPFR) this does not work, as 1st of all an attempt to build MPFR is done; and it fails, naturally, and you're back to where you started... ] -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
