Copy that... It's always good news to hear about the possibility to unembed parts of this large project. If there is no rush, I'll try to target this for the next large refactoring of the library (v3.0.0).
Best, On Tue, Jan 28, 2025 at 8:15 AM Andrius Merkys <mer...@debian.org> wrote: > > Source: mrpt > Version: 1:2.14.7+ds-1 > Severity: wishlist > > Dear Maintainer, > > mrpt source has embedded exprtk.hpp which is now provided by a package > of its own, libexprtk-dev. Moreover, libmrpt-expr-dev installs the > embedded header. Please consider unembedding exprtk.hpp and > build-depending on libexprtk-dev instead. FYI, I have not checked > whether your package builds with exprtk.hpp from libexprtk-dev. > > Andrius -- /** * Jose Luis Blanco-Claraco * Universidad de Almería - Departamento de Ingeniería * [Homepage]( https://w3.ual.es/~jlblanco/ ) * [GH profile]( https://github.com/jlblancoc ) */
