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:
>
> 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 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. 
>
> François 
>
> > On 12/04/2018, at 19:46, david....@inria.fr <javascript:> 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 from gcc to clang on osx (
> https://groups.google.com/forum/#!topic/sage-devel/xP7F5T350IQ). 
> > So I assume that my installation is now using clang. 
> > I don't understand why the last git pull forces to switch back to gcc. 
> > 
> > Should I do a dist-clean again ? This is boring since I will then have 
> to re-install multiple optional packages + Cplex + Gurobi + etc. but 
> apparently I will have no other choice. 
> > 
> > Any intel is more than welcome. 
> > 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+...@googlegroups.com <javascript:>. 
> > To post to this group, send email to sage-...@googlegroups.com 
> <javascript:>. 
> > Visit this group at https://groups.google.com/group/sage-devel. 
> > For more options, visit https://groups.google.com/d/optout. 
>
>

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

Reply via email to