Skip to content

Add PUBLIC keyword to target_link_libraries inside dune_target_link_libraries

Simon Praetorius requested to merge issue/fix-dune-target-link-libraries into master

Summary

This is a follow-up MR of !875 (merged) adding the PUBLIC keword to target_link_libraries to remove deprecation warnings.

Merge request reports