Add instrumentation with landmarks

Also, activates bisect_ppx on some modules where it was missing.

To run the driver with instrumentation,

- Set `let instrument = true` in doc/driver.mld's prelude.
- Use `dune build --instrument-with landmarks @docgen`.

The results are stored in _build/default/doc/landmarks/ and can be
viewed with landmarks' web viewer.

Signed-off-by: Paul-Elliot <[email protected]>
Co-authored-by: Jules Aguillon <[email protected]>

Author: 2 people

src/compat/dune

@@ -1,3 +1,7 @@
 (library
  (name compatcmdliner)
- (libraries cmdliner))
+ (libraries cmdliner)
+ (instrumentation
+  (backend landmarks --auto))
+ (instrumentation
+  (backend bisect_ppx)))

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))

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))

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

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))

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))

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))

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)))

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)))

src/odoc/dune

@@ -14,6 +14,8 @@
   odoc_xref2
   tyxml
   unix)
+ (instrumentation
+  (backend landmarks --auto))
  (instrumentation
   (backend bisect_ppx)))