Don't think so. Look at the logs at the messages about Sed during configure. Sed is used to preprocess that file. Gentoo report https://bugs.gentoo.org/show_bug.cgi?id=604764 I think Bill will have to look at it upstream.
Francois On 11/01/2017, at 9:23 AM, Dima Pasechnik <dimp...@gmail.com<mailto:dimp...@gmail.com>> wrote: a wild guess is that libgmp-dev is to blame. Could you try to remove it and retry building? -- 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<mailto:sage-devel+unsubscr...@googlegroups.com>. To post to this group, send email to sage-devel@googlegroups.com<mailto: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. This email may be confidential and subject to legal privilege, it may not reflect the views of the University of Canterbury, and it is not guaranteed to be virus free. If you are not an intended recipient, please notify the sender immediately and erase all copies of the message and any attachments. Please refer to http://www.canterbury.ac.nz/emaildisclaimer for more information. -- 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.