this repo has no description
1
fork

Configure Feed

Select the types of activity you want to include in your feed.

Fix odoc plugin dynamic linking with -linkall flag

When Dynlink tried to load extension plugins (like rfc_extension.cmxs),
they failed with "undefined symbol: camlOdoc_extension_api" because the
odoc binary didn't export symbols needed by the plugins.

Adding -linkall to the odoc executable ensures all modules (including
odoc_extension_api) are linked into the binary and their symbols are
available for dynamic linking.

This enables extension plugins loaded via dune-site to work correctly.
Tag handlers (rfc, admonition) and code block handlers (dot, mermaid, msc)
now load and process tags during HTML/JSON generation.

Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>

+2
+2
src/odoc/bin/dune
··· 5 5 (libraries cmdliner odoc_model odoc_odoc odoc_extension_api 6 6 dune-site dune-site.plugins) 7 7 (modules main sites) 8 + ; -linkall ensures all modules are included for plugin dynamic linking 9 + (link_flags (-linkall)) 8 10 (instrumentation 9 11 (backend landmarks --auto)) 10 12 (instrumentation