Le 13/01/2017 à 11:09, Dima Pasechnik a écrit : > 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 box) > True; sage -i -f coxeter3 solved the problem. Thanks! t. > 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 sage-support+unsubscr...@googlegroups.com > <mailto:sage-support+unsubscr...@googlegroups.com>. > To post to this group, send email to email@example.com > <mailto: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.
-- 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.