There is a native linbox I can install. Will do so and reconfigure. Is there a way to use the stuff compiled to that point, or do I have to start again?
On Wed, Feb 20, 2019, 13:24 Dima Pasechnik <[email protected] wrote: > You are running with SAGE_CHECK=yes, isn't it? > Anyhow, I don't think anyone tried OpenCL with Sage's linbox... > > On Wed, Feb 20, 2019 at 6:26 PM Ike Stoddard <[email protected]> > wrote: > > > > test-opencl-domain failed to compile. Log is attached. > > > > **************************************************** > > Host system: > > Linux Light1DAW 4.20.7-arch1-1-ARCH #1 SMP PREEMPT Wed Feb 6 18:42:40 > UTC 2019 x86_64 GNU/Linux > > gcc version 8.2.1 20181127 (GCC) > > > > A bunch of error like: > > error: no matching function for call to > 'LinBox::Commentator::start(std::__cxx11::string, const char [8], size_t)' > > > > I am lost as to how to proceed. > > > > -- > > 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 [email protected]. > > To post to this group, send email to [email protected]. > > 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 [email protected]. > To post to this group, send email to [email protected]. > 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
