How to test a custom math library with Catch2 (while catch2 relies on libm) ?

[Acwok]

I'm working on an embedded project where our executable depends on a space qualified math library called libmcs: https://essr.esa.int/project/libmcs-mathematical-library-for-critical-systems
This library is a wrapper around the standard math library to only keep the functions which were certified for space applications.

I'd like to build unit tests for my projet but there are conflicts between the standard math library used by Catch2 and libmcs used by my code.

How do you handle such a situation ?
Is there a mecanism for that in catch2 ?

[NicolasMallent]

Hello,
I have similar problems and I'm interested in the answer (if any).