Commit 4e75609b authored by Ansgar Burchardt's avatar Ansgar Burchardt

[!707] dune_add_library: handle object library with `SOURCES` option

Merge branch 'dune_add_library-OBJECT-SOURCES' into 'master'

ref:core/dune-common Previously the OBJECT path of dune_add_library would only
use the unparsed arguments. Source files specified via the SOURCES option were

See merge request [!707]

parents 388c171f 4001dcdb
Pipeline #21231 passed with stage
in 5 minutes and 26 seconds