Re: [sage-devel] Re: lib*.so conflict

2018-03-06 Thread Erik Bray
On Tue, Mar 6, 2018 at 5:20 PM, Ralf Stephan wrote: > 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? Depends on the package, but if one package is a build dependency of another package

Re: [sage-devel] Re: lib*.so conflict

2018-03-06 Thread Ralf Stephan
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 > wrote: > > > > > >

Re: [sage-devel] Re: lib*.so conflict

2018-03-06 Thread Erik Bray
On Mon, Mar 5, 2018 at 12:02 PM, Dima Pasechnik 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 > t