IMHO you should be able to finish build by (repeatedly) running make.
(It would in the end give you working Sage, although make will report an
error in the end)
Just in case, coxeter3 installs in 7.5 just fine for me (on a gentoo linux
On Friday, January 13, 2017 at 8:40:10 AM UTC, tdumont wrote:
> Today, I have tried to upgrade from 7.4 to 7.5 (git pull; make ...)
> I have a problem with the optional package coxeter3 (it does not compile).
> Before trying to solve this problem with coxeter, I would like to know
> if there is a canonical way to remove coxeter3 from sage tree to finish
> the build correctly. coxeter3 appears there:
> Is is ok to remove all this before doing make again or is there
> something cleaner ?
You received this message because you are subscribed to the Google Groups
To unsubscribe from this group and stop receiving emails from it, send an email
To post to this group, send email to firstname.lastname@example.org.
Visit this group at https://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.