Dune, virtual libraries and their implementation

Hi,

I’m playing with the dune virtual library feature.
So far, I succeeded in defining a virtual library vLib and two implementations (impl_lib1 and 'impl_lib2, with a field (implements vLib)) for it.

I can switch between them adding to the library stanza of the virtual library the following field:

(default_implementation impl_lib1)

or

(default_implementation impl_lib2)

However, if I remove this field, dune build complains that “No implementation found for virtual library”.

So, I’m wondering:

• whether a default implementation should always be defined (it’s not clear to me from the documentation)
• if not, why isn’t any of the implementation found?

Thanks for your help,

Sylvain

1 post - 1 participant

Read full topic