Re: [sage-support] Re: Question about upgrading.

2017-01-13 Thread Thierry Dumont 
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
> .
> To post to this group, send email to sage-support@googlegroups.com
> .
> 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 sage-support@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.
<>

[sage-support] Re: Question about upgrading.

2017-01-13 Thread Dima Pasechnik 
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)

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