How to control the location of the c++20 Binary Module Interface (BMI) output directory?

configure_file is configure-time; this would basically make sure any sources with the GENERATED property are up-to-date. Or similar; there are a lot of test cases to write and decide support for.

For pre-modules code, yes.