diff --git a/doc/changes/10650.md b/doc/changes/10650.md new file mode 100644 index 00000000000..1ff58102bee --- /dev/null +++ b/doc/changes/10650.md @@ -0,0 +1,3 @@ +- Re_export dune-section private library in the dune-site library stanza, + in order to avoid failure when generating and building sites modules + with implicit_transitive_deps = false. (#10650, fixes #9661, @MA0100) \ No newline at end of file diff --git a/otherlibs/dune-site/src/dune b/otherlibs/dune-site/src/dune index 087ad1023d6..b75a84a931f 100644 --- a/otherlibs/dune-site/src/dune +++ b/otherlibs/dune-site/src/dune @@ -6,6 +6,8 @@ (special_builtin_support (dune_site (data_module dune_site_data))) - (libraries dune-private-libs.dune-section dune-site.private) + (libraries + (re_export dune-private-libs.dune-section) + dune-site.private) (instrumentation (backend bisect_ppx)))