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: 
> ./upstream/coxeter3-1.1.tar.gz 
> ./local/var/tmp/sage/build/coxeter3-1.1 
> ./local/lib/python2.7/site-packages/sage/libs/coxeter3 
> ./logs/pkgs/coxeter3-1.1.log 
> ./build/pkgs/coxeter3 
> ./src/sage/libs/coxeter3 
> ./src/build/cythonized/sage/libs/coxeter3 
> ./src/build/temp.linux-x86_64-2.7/sage/libs/coxeter3 
> ./src/build/lib.linux-x86_64-2.7/sage/libs/coxeter3 
> Is is ok to remove all this before doing make again or is there 
> something cleaner ? 
> t. 

You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
To post to this group, send email to
Visit this group at
For more options, visit

Reply via email to