dune_add_library: handle object library with `SOURCES` option
Previously the OBJECT
path of dune_add_library
would only use the
unparsed arguments. Source files specified via the SOURCES
option
were ignored.
Previously the OBJECT
path of dune_add_library
would only use the
unparsed arguments. Source files specified via the SOURCES
option
were ignored.