How to copy DLLS/other dependencies in lakefile?

Stream: new members

[Srayan Jana]

Hi!
I've been finally able to get my FFI stuff working on windows, but something that's bothering me is, is there a good way to copy files in a lakefile to the bin directory?
Something like how in C# you can do

<ItemGroup>
        <Content Include="Content\**\*.*">
            <CopyToOutputDirectory>Always</CopyToOutputDirectory>
        </Content>
</ItemGroup>

[Srayan Jana]

Found it!
https://lean-lang.org/doc/api/Lake/Util/IO.html#Lake.copyFile