Skip to content

Properly use SOURCES in dune_add_library

Oliver Sander requested to merge use-SOURCES-in-dune-add-library into master

dune_add_library implicitly treats all unclaimed trailing arguments as source file names, but explicitly marking those as SOURCE makes the code more readable.

Merge request reports