Re: [sage-devel] Building Sage on top of GMP

2016-05-09 Thread Jean-Pierre Flori
On Monday, May 9, 2016 at 11:48:43 AM UTC+2, Jeroen Demeyer wrote: > > Did you use the GCC from the system or from Sage? (to verify: does > $SAGE_ROOT/local/bin/gcc exist?) > Hum, yes there is. A 'make clean' was surely not enough to clean up my setup, doing 'make distclean' right now. -- Yo

Re: [sage-devel] Building Sage on top of GMP

2016-05-09 Thread Jeroen Demeyer
Did you use the GCC from the system or from Sage? (to verify: does $SAGE_ROOT/local/bin/gcc exist?) -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+uns

[sage-devel] Building Sage on top of GMP

2016-05-09 Thread Jean-Pierre Flori
Hi all, I was trying to build Sage (trac/develp) on top of GMP using the configure flag. The doc failed to build (unrelated) but when I typed 'make' again it decided to rebuild GMP. Did anyone encounter the same issue (or tried to use GMP)? Best, JP -- You received this message because you ar