With the help of the sage mailing list, (https://groups.google.com/forum/#!topic/sage-devel/sqXwBseqiRA) I now know what the problem was: the new version 4.3-3 of sed. A downgrade to version 4.2.2-8 made compilation possible again!
I guess I sholud have payed more attention to the "sed: character class syntax is [[:space:]], not [:space:]"-errors that I mention already in the first post.. In any case, when more people upgrade to newer versions of sed, this wil become a problem; so I hope my bug report is useful... Thank you again, Bill, for the immediate answers to my questions! On Monday, January 9, 2017 at 1:49:44 PM UTC+1, mor...@math.fu-berlin.de wrote: > > thanks for the help! Unfortunately I still couldn't solve my problem.. > -- You received this message because you are subscribed to the Google Groups "mpir-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to mpir-devel+unsubscr...@googlegroups.com. To post to this group, send email to mpir-devel@googlegroups.com. Visit this group at https://groups.google.com/group/mpir-devel. For more options, visit https://groups.google.com/d/optout.
