Dune. Source files within multiple directories

Ecosystem
1

Hello everyone,

I have a project which src directory looks like this:

src/
|
|__ foo/
|__ bar/
|__ dune

(bar and foo are different sub-directories).

Is it the right way to go to put copy_files stanzas in my dune file, like the following?

(copy_files# (files foo/*))
(copy_files# (files bar/*))
2

Consider using (include_subdirs unqualified) in your dune file.

If you prefer the manual control, (copy_files foo/*) is the right stanza.