Re: [sage-devel] Make OpenBLAS Error

2016-10-16 Thread Ethan Petersen
I'll make sure to continue to do so in the future if I see those messages! 
I usually zone out during builds, glad I caught that line.

Thanks for the help. 

On Thursday, October 13, 2016 at 2:14:37 AM UTC-4, Jeroen Demeyer wrote:
>
> On 2016-10-12 18:14, Ethan Petersen wrote: 
> > there was an "Error building OpenBLAS"/"Error installing package 
> openblas-0.2.19" with a suggestion to email this google group with the 
> attached log file. 
>
> I'm glad that you did that! Almost *nobody* seems to read that message. 
>
> > If anyone has ideas on solving this issue, please let me know! 
>
> There is a fix at https://trac.sagemath.org/ticket/21689 but it's not 
> yet in a Sage release. 
>

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


Re: [sage-devel] Make OpenBLAS Error

2016-10-13 Thread Jeroen Demeyer

On 2016-10-12 18:14, Ethan Petersen wrote:

there was an "Error building OpenBLAS"/"Error installing package 
openblas-0.2.19" with a suggestion to email this google group with the attached log file.


I'm glad that you did that! Almost *nobody* seems to read that message.


If anyone has ideas on solving this issue, please let me know!


There is a fix at https://trac.sagemath.org/ticket/21689 but it's not 
yet in a Sage release.


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