Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add instrumentation with landmarks #1041

Merged
merged 1 commit into from
Nov 29, 2023
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 5 additions & 1 deletion src/compat/dune
Original file line number Diff line number Diff line change
@@ -1,3 +1,7 @@
(library
(name compatcmdliner)
(libraries cmdliner))
(libraries cmdliner)
(instrumentation
(backend landmarks --auto))
(instrumentation
(backend bisect_ppx)))
2 changes: 2 additions & 0 deletions src/document/dune
Original file line number Diff line number Diff line change
Expand Up @@ -12,4 +12,6 @@
(public_name odoc.document)
(instrumentation
(backend bisect_ppx))
(instrumentation
(backend landmarks --auto))
(libraries odoc_model fpath astring syntax_highlighter))
2 changes: 2 additions & 0 deletions src/html/dune
Original file line number Diff line number Diff line change
@@ -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))
4 changes: 4 additions & 0 deletions src/html_support_files/dune
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
2 changes: 2 additions & 0 deletions src/latex/dune
Original file line number Diff line number Diff line change
@@ -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))
2 changes: 2 additions & 0 deletions src/manpage/dune
Original file line number Diff line number Diff line change
@@ -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))
2 changes: 2 additions & 0 deletions src/model/dune
Original file line number Diff line number Diff line change
Expand Up @@ -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))
2 changes: 2 additions & 0 deletions src/model_desc/dune
Original file line number Diff line number Diff line change
Expand Up @@ -2,5 +2,7 @@
(name odoc_model_desc)
(public_name odoc.model_desc)
(libraries odoc_model)
(instrumentation
(backend landmarks --auto))
(instrumentation
(backend bisect_ppx)))
2 changes: 2 additions & 0 deletions src/odoc/bin/dune
Original file line number Diff line number Diff line change
Expand Up @@ -5,5 +5,7 @@
(libraries compatcmdliner odoc_model odoc_odoc)
(flags
(:standard -open StdLabels))
(instrumentation
(backend landmarks --auto))
(instrumentation
(backend bisect_ppx)))
2 changes: 2 additions & 0 deletions src/odoc/dune
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,8 @@
odoc_xref2
tyxml
unix)
(instrumentation
(backend landmarks --auto))
(instrumentation
(backend bisect_ppx)))

Expand Down
2 changes: 2 additions & 0 deletions src/parser/dune
Original file line number Diff line number Diff line change
Expand Up @@ -3,6 +3,8 @@
(library
(name odoc_parser)
(public_name odoc-parser)
(instrumentation
(backend landmarks --auto))
(instrumentation
(backend bisect_ppx))
(flags
Expand Down
2 changes: 2 additions & 0 deletions src/parser/test/dune
Original file line number Diff line number Diff line change
Expand Up @@ -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))
17 changes: 14 additions & 3 deletions src/xref2/dune
Original file line number Diff line number Diff line change
@@ -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
Expand Down
File renamed without changes.
File renamed without changes.