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 ___________________________________________________________
