Best practice for building mixed library

Stream: lean4

[Leni Aniva]

I'm writing a Lean library that has a component written in another language, what is the best practice for constructing the build system?

e.g. should lake build call cmake, and then copy the built binaries into .lake/build?