Very good. Doesn't it only work if the user not only has the library but also the respective headers, i.e., the corresponding xyz-devel package installed?
On Tuesday, March 6, 2018 at 4:54:12 PM UTC+1, Erik Bray wrote: > > On Mon, Mar 5, 2018 at 12:02 PM, Dima Pasechnik <dim...@gmail.com > <javascript:>> wrote: > > > > > > On Monday, March 5, 2018 at 9:48:25 AM UTC, Ralf Stephan wrote: > >> > >> I'm interested in a fix because it prevents clean patchbot results on > >> OpenSuSE > > > > > > Erik has an implementation of such feature generically, on some recent > open > > ticket. > > I didn't actually have a ticket up for this work yet, but I do now: > https://trac.sagemath.org/ticket/24919 > It provides a simple (arguably...) mechanism for providing per-package > configure-time checks. I haven't gone and added that for every > package yet though, and it wouldn't be worth trying until an > agreed-upon mechanism is fully implemented first. > > But then we could, say, add a configure-time check for readline so > that Sage will stop building its own copy where it isn't necessary to. > > > >>> How to tell "configure" not to install the Sage-shipped version ? I > think > >>> I am able to look at the configuration of the Sage-shipped packages > for > >>> which this happens in order to understand what is done and > clone/adapt the > >>> process. What are they ? > >>> > >>> What features are necessary in {libtinfo|libreadline|wwhatever} for > Sage > >>> to run correcly (i. e. what should "configure" test) ? > > > > -- > > 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.
