Hi @rfdmod
There’s a new feature that handles the build you’re looking for. It’s so recent it hasn’t made it to the documentation yet. Take a look at this post:
https://discuss.pynq.io/t/problems-getting-build-system-up-and-running/665/18
Thanks,
-Pat