pioasm runs on the project directory to convert the pio files into header files. Thanks a lot for that feature!
But unfortunately that automatism doesn't work for libraries. It would be great to have it for libraries as well if library.json declares platform-raspberrypi.