Thanks for confirming this. I did see it pop up on the sage list. On 10 January 2017 at 22:41, <mor...@math.fu-berlin.de> wrote:
> 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. > -- 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.
