[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 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.


[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.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+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.


[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 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.
>

I suggest you ignore rc2 for the time being. The (too quick, IMHO - I had 
trouble reproducing this on a remotely 
accessible OSX box, and had to get back home to an old Apple laptop) change 
back to gcc was due to #25113, for which
we now have a workaround on https://trac.sagemath.org/ticket/25118
The latter will be turned into a proper branch later today.

Cheers,
Dima

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