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