Hi, Thanks for your reply. If you'll need any changes in the library, please tell me and I'll happy to accept them, since the upstream does not provide an official ABI either.
BR 2018-06-28 14:19 GMT+08:00 JOSE LUIS BLANCO CLARACO <jlbla...@ual.es>: > Hi, > > Thanks for the pointer. We'll evaluate that possibility. However, we > used a somewhat modified version of the library, so it might be no > trivial; but it's worth trying. > > Cheers, > > > On Wed, Jun 27, 2018 at 8:39 AM, Yangfl <mmyan...@gmail.com> wrote: >> Source: mrpt >> Severity: wishlist >> >> Hi, >> >> As libsimpleini-dev is now available, please consider using system >> libraries instead of bundled ones. > > > > -- > ___________________________________________________________ > > Jose Luis Blanco-Claraco > Universidad de AlmerÃa - Departamento de IngenierÃa > https://w3.ual.es/~jlblanco/ > https://github.com/jlblancoc > ___________________________________________________________