[sage-devel] Re: 8.2.rc2 on OSX: compile gcc 7.2 after git pull

2018-04-13 Thread David . Coudert
I will then try to get back to rc1. Thank you all. David. -- 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+unsubscr...@googlegroups.com. To post to this

[sage-devel] Re: 8.2.rc2 on OSX: compile gcc 7.2 after git pull

2018-04-12 Thread Dima Pasechnik
https://trac.sagemath.org/ticket/25118 is ready for review now; in particular it reverts the change back to gcc, so staying with clang, and fixes the crashes on OSX from #25113. On Thursday, April 12, 2018 at 8:46:35 AM UTC+1, david@inria.fr wrote: > > I just made a "git pull" to go from 8.2

[sage-devel] Re: 8.2.rc2 on OSX: compile gcc 7.2 after git pull

2018-04-12 Thread Dima Pasechnik
On Thursday, April 12, 2018 at 8:46:35 AM UTC+1, david@inria.fr wrote: > > I just made a "git pull" to go from 8.2.rc1 to 8.2.rc2 on my OSX laptop, > and "make" launches the compilation of gcc 7.2 ?!? > > I had to do a "make dist-clean" for 8.2.beta7, since my install missed the > switch fr