Assume I have a directory structure like the following, with files with the .d and .v extension:
a
├── a.d
├── a.v
├── b
│ ├── ab.d
│ ├── ab.v
│ └── c
│ ├── abc.d
│ └── abc.v
└── d
├── ad.d
└── ad.v
Now, I would like to be able to do something like:
(subdir gen
(copy_files_rec
(files ../a/**.v)))
so that dune effectively copies all files with the .v extension in directory a into the directory gen.
Additionally, I would also like to have the option to preserve the directory structure when doing the copy (i.e., files like gen/a/b/c/abc.v would be produced). This would be very useful in combination with (include_subdirs qualified) in the context of Coq projects.
Example
For example, I would expect the following to work.
Desired Behavior
Assume I have a directory structure like the following, with files with the
.d
and.v
extension:Now, I would like to be able to do something like:
so that dune effectively copies all files with the
.v
extension in directorya
into the directorygen
.Additionally, I would also like to have the option to preserve the directory structure when doing the copy (i.e., files like
gen/a/b/c/abc.v
would be produced). This would be very useful in combination with(include_subdirs qualified)
in the context of Coq projects.Example
For example, I would expect the following to work.