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.



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