For completeness: 1. Here is the config.log file:
https://docs.google.com/open?id=0B-xY4xORAoEDbUtmdnV3RE1oMFU 2. The result of ./config.guess is: sandybridge-unknown-linux-gnu 3. Here is the result of running cpuinfo: https://docs.google.com/open?id=0B-xY4xORAoEDQTdrZ2NfT21PZmM If this is a known issue, then perhaps the documentation or even the script could be updated? Perhaps this could be included as a "known issue" in the INSTALL file? To test some more, I will try another virtual machine (perhaps Vmware player). Nicholas -- You received this message because you are subscribed to the Google Groups "mpir-devel" group. To view this discussion on the web visit https://groups.google.com/d/msg/mpir-devel/-/3UFACmQVEbIJ. To post to this group, send email to mpir-devel@googlegroups.com. To unsubscribe from this group, send email to mpir-devel+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/mpir-devel?hl=en.