Which require runtime to check, isn't it? Anyway, such constraints are also available in GN, and in CMake or Autotools you can implement them yourself, but the

Which require runtime to check, isn't it? Anyway, such constraints are also available in GN, and in CMake or Autotools you can implement them yourself, but they suffer from the same restriction I mentioned (not amenable to static analysis, limited verifiability at runtime due to combinatorial explosion of possible system states, etc.).