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 
"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

<<attachment: tdumont.vcf>>

Reply via email to