diff --git a/src/compat/dune b/src/compat/dune index aa2d3ec715..a536f55fa6 100644 --- a/src/compat/dune +++ b/src/compat/dune @@ -1,3 +1,7 @@ (library (name compatcmdliner) - (libraries cmdliner)) + (libraries cmdliner) + (instrumentation + (backend landmarks --auto)) + (instrumentation + (backend bisect_ppx))) diff --git a/src/document/dune b/src/document/dune index 30ef3c7b52..e1e8bc9f01 100644 --- a/src/document/dune +++ b/src/document/dune @@ -12,4 +12,6 @@ (public_name odoc.document) (instrumentation (backend bisect_ppx)) + (instrumentation + (backend landmarks --auto)) (libraries odoc_model fpath astring syntax_highlighter)) diff --git a/src/html/dune b/src/html/dune index c555b6f563..d2a16781a2 100644 --- a/src/html/dune +++ b/src/html/dune @@ -1,6 +1,8 @@ (library (name odoc_html) (public_name odoc.html) + (instrumentation + (backend landmarks --auto)) (instrumentation (backend bisect_ppx)) (libraries odoc_model odoc_document tyxml)) diff --git a/src/html_support_files/dune b/src/html_support_files/dune index 33e12960e2..391fcf8f81 100644 --- a/src/html_support_files/dune +++ b/src/html_support_files/dune @@ -37,6 +37,10 @@ (library (name odoc_html_support_files) (public_name odoc.html_support_files) + (instrumentation + (backend landmarks --auto)) + (instrumentation + (backend bisect_ppx)) (wrapped false)) (install diff --git a/src/latex/dune b/src/latex/dune index 16ac069fef..dcea160153 100644 --- a/src/latex/dune +++ b/src/latex/dune @@ -1,6 +1,8 @@ (library (name odoc_latex) (public_name odoc.latex) + (instrumentation + (backend landmarks --auto)) (instrumentation (backend bisect_ppx)) (libraries odoc_model odoc_document fmt fpath)) diff --git a/src/manpage/dune b/src/manpage/dune index 50ad3511db..a1249281fd 100644 --- a/src/manpage/dune +++ b/src/manpage/dune @@ -1,6 +1,8 @@ (library (name odoc_manpage) (public_name odoc.manpage) + (instrumentation + (backend landmarks --auto)) (instrumentation (backend bisect_ppx)) (libraries odoc_model odoc_document)) diff --git a/src/model/dune b/src/model/dune index a40505e7b3..a273a350bb 100644 --- a/src/model/dune +++ b/src/model/dune @@ -12,6 +12,8 @@ (public_name odoc.model) (flags (:standard -w -50)) + (instrumentation + (backend landmarks --auto)) (instrumentation (backend bisect_ppx)) (libraries result compiler-libs.common odoc-parser)) diff --git a/src/model_desc/dune b/src/model_desc/dune index fdf81d3a25..9241e267ca 100644 --- a/src/model_desc/dune +++ b/src/model_desc/dune @@ -2,5 +2,7 @@ (name odoc_model_desc) (public_name odoc.model_desc) (libraries odoc_model) + (instrumentation + (backend landmarks --auto)) (instrumentation (backend bisect_ppx))) diff --git a/src/odoc/bin/dune b/src/odoc/bin/dune index cc1e690d2c..a86be42a68 100644 --- a/src/odoc/bin/dune +++ b/src/odoc/bin/dune @@ -5,5 +5,7 @@ (libraries compatcmdliner odoc_model odoc_odoc) (flags (:standard -open StdLabels)) + (instrumentation + (backend landmarks --auto)) (instrumentation (backend bisect_ppx))) diff --git a/src/odoc/dune b/src/odoc/dune index efa1d27914..d7c04fa956 100644 --- a/src/odoc/dune +++ b/src/odoc/dune @@ -14,6 +14,8 @@ odoc_xref2 tyxml unix) + (instrumentation + (backend landmarks --auto)) (instrumentation (backend bisect_ppx))) diff --git a/src/parser/dune b/src/parser/dune index 36bd5bf2c6..e7a3d1ce4c 100644 --- a/src/parser/dune +++ b/src/parser/dune @@ -3,6 +3,8 @@ (library (name odoc_parser) (public_name odoc-parser) + (instrumentation + (backend landmarks --auto)) (instrumentation (backend bisect_ppx)) (flags diff --git a/src/parser/test/dune b/src/parser/test/dune index 7a46d5acd1..c6769550dd 100644 --- a/src/parser/test/dune +++ b/src/parser/test/dune @@ -3,6 +3,8 @@ (inline_tests) (enabled_if (>= %{ocaml_version} 4.04.1)) + (instrumentation + (backend landmarks --auto)) (preprocess (pps ppx_expect)) (libraries sexplib0 odoc-parser)) diff --git a/src/xref2/dune b/src/xref2/dune index d60ea8ee6f..ed2047f21a 100644 --- a/src/xref2/dune +++ b/src/xref2/dune @@ -1,11 +1,22 @@ (library (name odoc_xref2) (public_name odoc.xref2) - (preprocess - (action - (run %{bin:cppo} -V OCAML:%{ocaml_version} %{input-file}))) + (instrumentation + (backend landmarks --auto)) + (instrumentation + (backend bisect_ppx)) (libraries odoc_model)) +(rule + (with-stdout-to + shape_tools.ml + (run %{bin:cppo} -V OCAML:%{ocaml_version} %{dep:shape_tools.cppo.ml}))) + +(rule + (with-stdout-to + shape_tools.mli + (run %{bin:cppo} -V OCAML:%{ocaml_version} %{dep:shape_tools.cppo.mli}))) + (rule (alias runmdx) (deps diff --git a/src/xref2/shape_tools.ml b/src/xref2/shape_tools.cppo.ml similarity index 100% rename from src/xref2/shape_tools.ml rename to src/xref2/shape_tools.cppo.ml diff --git a/src/xref2/shape_tools.mli b/src/xref2/shape_tools.cppo.mli similarity index 100% rename from src/xref2/shape_tools.mli rename to src/xref2/shape_tools.cppo.mli