How will cmake deal with this ?
For example on gcc, one has to specify both ‘-fcontracts’ both to the compiler, and to the linker.
No idea what the option will be for clang or MSVC.
Will this be left to the user, or will cmake foresee an abstraction (a per target property, default by a global CMAKE_xxx property) ?
And how about specifying the standard semantic (ignore/observe/enforce ,quick_enforce) ?