Hello,
Have you tried RelWithDebInfo as the build type? (https://cmake.org/Wiki/CMake_Useful_Variables)This should set NDEBUG but still use -g to get debug symbols.
Thanks for the reply. However, previous discussions on Debian clearly state that CMAKE_BUILD_TYPE must be set to None, not to "RelWithDebInfo" [1].
Sébastien- [1] https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=711515#51