Enable instrumentation in executables and test libraries too

mbarbin · Jan 27, 2024 · 1fabc7b · 1fabc7b
1 parent 89aa8a4
commit 1fabc7b
Show file tree

Hide file tree

Showing 6 changed files with 12 additions and 0 deletions.
diff --git a/systems/cello/e12/dune b/systems/cello/e12/dune
@@ -14,5 +14,7 @@
   Fingerboard)
  (libraries base fingerboard stdio textutils.ascii_table)
  (inline_tests)
+ (instrumentation
+  (backend bisect_ppx))
  (preprocess
   (pps ppx_jane ppx_js_style -check-doc-comments)))
diff --git a/systems/cello/e53/dune b/systems/cello/e53/dune
@@ -14,5 +14,7 @@
   Fingerboard)
  (libraries base fingerboard stdio textutils.ascii_table)
  (inline_tests)
+ (instrumentation
+  (backend bisect_ppx))
  (preprocess
   (pps ppx_jane ppx_js_style -check-doc-comments)))
diff --git a/systems/cello/e55/dune b/systems/cello/e55/dune
@@ -14,5 +14,7 @@
   Fingerboard)
  (libraries base fingerboard stdio textutils.ascii_table)
  (inline_tests)
+ (instrumentation
+  (backend bisect_ppx))
  (preprocess
   (pps ppx_jane ppx_js_style -check-doc-comments)))
diff --git a/systems/cello/just/dune b/systems/cello/just/dune
@@ -14,5 +14,7 @@
   Fingerboard)
  (libraries base fingerboard stdio textutils.ascii_table)
  (inline_tests)
+ (instrumentation
+  (backend bisect_ppx))
  (preprocess
   (pps ppx_jane ppx_js_style -check-doc-comments)))
diff --git a/systems/cello/pythagorean/dune b/systems/cello/pythagorean/dune
@@ -14,5 +14,7 @@
   Fingerboard)
  (libraries base fingerboard stdio textutils.ascii_table)
  (inline_tests)
+ (instrumentation
+  (backend bisect_ppx))
  (preprocess
   (pps ppx_jane ppx_js_style -check-doc-comments)))
diff --git a/test/dune b/test/dune
@@ -23,5 +23,7 @@
   stdio
   textutils.ascii_table)
  (inline_tests)
+ (instrumentation
+  (backend bisect_ppx))
  (preprocess
   (pps ppx_jane ppx_js_style -check-doc-comments)))