I wonder, if the DEPENDS parameters is something to be removed one day, as I can't really come up with a use case why to put something here - except that this allows solving a problem that is somewhere else actually. At least that seems to be the case for all the usages that we have in the current code base. Maybe these were necessary in older version of CMake or they are just over cautious. Anyway, the verbose explanation should help for now to state what we guarantee here.
Can we merge this?
I wonder, if the
DEPENDSparameters is something to be removed one day, as I can't really come up with a use case why to put something here - except that this allows solving a problem that is somewhere else actually. At least that seems to be the case for all the usages that we have in the current code base. Maybe these were necessary in older version of CMake or they are just over cautious. Anyway, the verbose explanation should help for now to state what we guarantee here.