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

2018-04-12 Thread Dima Pasechnik
ones that have xcode 6.3. it appears that the bug (hopefully) fixed by #25118 shows on all CPUs, except Xeons (the latter not used in laptops afaik, only in desktops etc). -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this

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

2018-04-12 Thread David Roe
On Thu, Apr 12, 2018 at 6:10 AM, Dima Pasechnik wrote: > > > On Thursday, April 12, 2018 at 10:45:47 AM UTC+1, François Bissey wrote: >> >> >> >> > On 12/04/2018, at 21:44, Volker Braun wrote: >> > >> > On Thursday, April 12, 2018 at 10:13:50 AM UTC+2, François Bissey >> wrote: >> > In the last

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

2018-04-12 Thread Dima Pasechnik
On Thursday, April 12, 2018 at 10:44:31 AM UTC+1, Volker Braun wrote: > > On Thursday, April 12, 2018 at 10:13:50 AM UTC+2, François Bissey wrote: >> >> In the last 24hours Dima found the problem and we have a fix so there may >> still be a chance >> of 8.2 using clang out of the box. > > > IM

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

2018-04-12 Thread Dima Pasechnik
On Thursday, April 12, 2018 at 10:45:47 AM UTC+1, François Bissey wrote: > > > > > On 12/04/2018, at 21:44, Volker Braun > > wrote: > > > > On Thursday, April 12, 2018 at 10:13:50 AM UTC+2, François Bissey wrote: > > In the last 24hours Dima found the problem and we have a fix so there > may

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

2018-04-12 Thread François Bissey
> On 12/04/2018, at 21:44, Volker Braun wrote: > > On Thursday, April 12, 2018 at 10:13:50 AM UTC+2, François Bissey wrote: > In the last 24hours Dima found the problem and we have a fix so there may > still be a chance > of 8.2 using clang out of the box. > > IMHO the safe bet is to use gc

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

2018-04-12 Thread Volker Braun
On Thursday, April 12, 2018 at 10:13:50 AM UTC+2, François Bissey wrote: > > In the last 24hours Dima found the problem and we have a fix so there may > still be a chance > of 8.2 using clang out of the box. IMHO the safe bet is to use gcc in 8.2 (as it was in 8.1) instead of last-minute expe

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

2018-04-12 Thread Dima Pasechnik
Perhaps we need a howto page on wiki on OSX, and more generally, clang, debugging - how to turn core dumping on, how to run LLVM debugger lldb... And most probably an analogue of gdb package for clang, too, is needed. On Thursday, April 12, 2018 at 9:13:50 AM UTC+1, François Bissey wrote: > > T

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

2018-04-12 Thread François Bissey
There was trouble with the latest Xcode release from Apple. It broke gfan in subtle ways which translated in a number of doctests failures. So we decided to temporarily switch back to gcc for the imminent release. We should have communicated things better on sage-release. In the last 24hours Di

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

2018-04-12 Thread David . Coudert
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 from gcc to clang on osx ( https://groups.google.com/forum/#!topic/sage-devel/xP7F5T350IQ)