dune_symlink_to_source_filesΒΆ
dune_symlink_to_source_files(
FILES file1 [file2 ...]
)
- FILES
- The list of files to symlink.
Create symlinks in the current build directory, which point to files in the source directory. This is usually used for grid and ini files and the like. On Windows systems, a warning is issued and copying is used as a fallback to symlinking.