Installing many files with dune

@sanette wrote:

Hello,

The library that I am developing needs a certain number of additional files (config, images, fonts, etc.) that seem to fit well in the share directory. I would like to have dune install them automatically.

Basically, I want to do (taken from https://dune.readthedocs.io/en/stable/installation.html):

(install
 (files hello.txt)
 (section share)
 (package mypackage))

but replacing hello.txt by a (large) number of files. What’s the best way to do this?
I would be happy, for instance, if I could just indicate the name of the directory in order to select all its files.

Posts: 9

Participants: 4

Read full topic