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 sage-support+unsubscr...@googlegroups.com. To post to this group, send email to email@example.com. Visit this group at https://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/d/optout.