We need to generate the platform header and store it in the `BUCK` file.
We need to generate the platform header and store it in the
BUCKfile.