Add bisect_ppx to extracted dune libraries

goblint · Dec 15, 2023 · 4cbfd1a · 4cbfd1a
1 parent 3eadb60
commit 4cbfd1a
Show file tree

Hide file tree

Showing 6 changed files with 12 additions and 6 deletions.
diff --git a/src/common/dune b/src/common/dune
@@ -20,6 +20,7 @@
   (pps
     ppx_deriving.std
     ppx_deriving_hash
-    ppx_deriving_yojson)))
+    ppx_deriving_yojson))
+ (instrumentation (backend bisect_ppx)))
 
 (documentation)
diff --git a/src/config/dune b/src/config/dune
@@ -18,6 +18,7 @@
  (preprocess
   (pps
     ppx_blob))
- (preprocessor_deps (file options.schema.json)))
+ (preprocessor_deps (file options.schema.json))
+ (instrumentation (backend bisect_ppx)))
 
 (documentation)
diff --git a/src/domain/dune b/src/domain/dune
@@ -14,6 +14,7 @@
   (pps
     ppx_deriving.std
     ppx_deriving_hash
-    ppx_deriving_yojson)))
+    ppx_deriving_yojson))
+ (instrumentation (backend bisect_ppx)))
 
 (documentation)
diff --git a/src/incremental/dune b/src/incremental/dune
@@ -17,6 +17,7 @@
   (pps
     ppx_deriving.std
     ppx_deriving_hash
-    ppx_deriving_yojson)))
+    ppx_deriving_yojson))
+ (instrumentation (backend bisect_ppx)))
 
 (documentation)
diff --git a/src/util/library/dune b/src/util/library/dune
@@ -13,6 +13,7 @@
  (preprocess
   (pps
     ppx_deriving.std
-    ppx_deriving_hash)))
+    ppx_deriving_hash))
+ (instrumentation (backend bisect_ppx)))
 
 (documentation)
diff --git a/src/util/std/dune b/src/util/std/dune
@@ -15,4 +15,5 @@
   (pps
    ppx_deriving.std
    ppx_deriving_hash
-   ppx_deriving_yojson)))
+   ppx_deriving_yojson))
+ (instrumentation (backend bisect_ppx)))