Mismatching namespace for MLSPP

[barracuda156]

MLSPP by default uses mls: https://github.com/cisco/mlspp/blob/92aaa4134fa45ec39957a7c81a342401fba7feb2/CMakeLists.txt#L20
abaddon forces mlspp:

abaddon/CMakeLists.txt

Line 184 in 7fb4a42

set(MLS_CXX_NAMESPACE "mlspp" CACHE STRING "" FORCE)

This breaks the build with the system mlspp (unless it is built in a custom way).
Is there a good reason for this?

[ouwou]

discords libdave does it for whatever reason: https://github.com/discord/libdave/tree/52cd56dc550f447fb354b3a06c9e2d2e2a4309c6/cpp#dependencies