[build] add landmarks

dune-workspace

+(lang dune 2.8)
+(context default)
+(context
+ (default
+  (name bench)
+  (instrument_with landmarks)
+  (env
+    (_ (env-vars ("OCAML_LANDMARKS" "auto")))))
+)

src/dune

@@ -47,6 +47,7 @@
   (foreign_stubs (language c) (names c_bindings))
   (flags :standard -w -9)
   (libraries frama-c.init str unix zarith ocamlgraph dynlink bytes yojson menhirLib dune-site dune-site.plugins)
+  (instrumentation (backend landmarks))
   (preprocess (staged_pps ppx_import ppx_deriving.eq))
 )
 

src/init/boot/dune

@@ -26,6 +26,7 @@
   (modules boot)
   (flags :standard -open Frama_c_kernel)
   (libraries frama_c_kernel)
+  (instrumentation (backend landmarks))
 )
 
 

src/init/dune

@@ -26,6 +26,7 @@
   (modules frama_c_init gui_init)
   (virtual_modules gui_init)
   (libraries threads)
+  (instrumentation (backend landmarks))
 )
 
 (include_subdirs no)

src/init/impl_cmdline/dune

@@ -24,4 +24,5 @@
   (name frama_c_very_first_cmdline)
   (public_name frama-c.init.cmdline)
   (implements frama-c.init)
+  (instrumentation (backend landmarks))
 )

src/plugins/aorai/dune

@@ -44,6 +44,7 @@
    (  -> aorai_eva_analysis.disabled.ml)
   )
  )
+ (instrumentation (backend landmarks))
 )
 
 (ocamllex yalexer)

src/plugins/callgraph/dune

@@ -36,6 +36,7 @@
   (public_name frama-c-callgraph.core)
   (flags -open Frama_c_kernel :standard -w -9)
   (libraries frama-c.kernel frama-c-eva.core)
+  (instrumentation (backend landmarks))
 )
 
 (plugin (optional) (name callgraph) (libraries frama-c-callgraph.core) (site (frama-c plugins)))

src/plugins/constant_propagation/dune

@@ -36,6 +36,7 @@
   (public_name frama-c-constant_propagation.core)
   (flags -open Frama_c_kernel :standard -w -9)
   (libraries frama-c.kernel frama-c-eva.core)
+  (instrumentation (backend landmarks))
 )
 
 (plugin (optional) (name constant_propagation) (libraries frama-c-constant_propagation.core) (site (frama-c plugins)))

src/plugins/dive/dune

@@ -37,6 +37,7 @@
   (public_name frama-c-dive.core)
   (flags -open Frama_c_kernel :standard -w -9)
   (libraries frama-c.kernel frama-c-studia.core frama-c-server.core)
+  (instrumentation (backend landmarks))
 )
 
 (plugin (optional) (name dive) (libraries frama-c-dive.core) (site (frama-c plugins)))

src/plugins/e-acsl/src/dune

@@ -35,7 +35,9 @@
  (optional)
  (public_name frama-c-e-acsl.core)
  (flags -open Frama_c_kernel :standard -w -9)
- (libraries frama-c.kernel frama-c-rtegen.core))
+ (libraries frama-c.kernel frama-c-rtegen.core)
+ (instrumentation (backend landmarks))
+)
 
 (plugin (optional) (name e-acsl) (libraries frama-c-e-acsl.core) (site (frama-c plugins)))
 

src/plugins/eva/dune

@@ -39,7 +39,8 @@
  (optional)
  (public_name frama-c-eva.core)
  (flags -open Frama_c_kernel :standard -w -9 -alert -db_deprecated)
- (libraries frama-c.kernel frama-c-server.core))
+ (libraries frama-c.kernel frama-c-server.core)
+ (instrumentation (backend landmarks)))
 
 (plugin
  (name eva)
@@ -56,7 +57,8 @@
   (optional)
   (public_name frama-c-eva.gui)
   (flags -open Frama_c_kernel -open Frama_c_gui -open Eva__Private :standard -w -9 -alert -db_deprecated)
-  (libraries eva frama-c.kernel frama-c.gui)))
+  (libraries eva frama-c.kernel frama-c.gui)
+  (instrumentation (backend landmarks))))
 
 (plugin
  (name eva-gui)
@@ -71,7 +73,8 @@
   (optional)
   (public_name frama-c-eva.numerors.core)
   (flags -open Frama_c_kernel -open Eva__Private :standard)
-  (libraries frama-c.kernel frama-c-eva.core mlmpfr)))
+  (libraries frama-c.kernel frama-c-eva.core mlmpfr)
+  (instrumentation (backend landmarks))))
 
 (plugin
  (name eva.numerors)
@@ -88,7 +91,8 @@
   (flags -open Frama_c_kernel -open Eva__Private :standard -w -9)
   (libraries
    frama-c.kernel frama-c-eva.core
-   apron.octMPQ apron.boxMPQ apron.polkaMPQ apron.apron)))
+   apron.octMPQ apron.boxMPQ apron.polkaMPQ apron.apron)
+  (instrumentation (backend landmarks))))
 
 (plugin
   (name eva.apron)

src/plugins/from/dune

@@ -38,6 +38,7 @@
   (public_name frama-c-from.core)
   (flags -open Frama_c_kernel :standard -w -9)
   (libraries frama-c.kernel frama-c-callgraph.core frama-c-eva.core frama-c-postdominators.core)
+  (instrumentation (backend landmarks))
 )
 
 (plugin (optional) (name from) (libraries frama-c-from.core) (site (frama-c plugins)))

src/plugins/impact/dune

@@ -40,6 +40,7 @@
   (public_name frama-c-impact.core)
   (flags -open Frama_c_kernel :standard -w -9)
   (libraries frama-c.kernel frama-c-pdg.core frama-c-slicing.core frama-c-callgraph.core frama-c-inout.core)
+  (instrumentation (backend landmarks))
 )
 
 (plugin (optional) (name impact) (libraries frama-c-impact.core) (site (frama-c plugins)))

src/plugins/inout/dune

@@ -38,6 +38,7 @@
   (public_name frama-c-inout.core)
   (flags -open Frama_c_kernel :standard -w -9)
   (libraries frama-c.kernel frama-c-callgraph.core frama-c-eva.core frama-c-from.core)
+  (instrumentation (backend landmarks))
 )
 
 (plugin (optional) (name inout) (libraries frama-c-inout.core) (site (frama-c plugins)))

src/plugins/instantiate/dune

@@ -35,6 +35,7 @@
   (public_name frama-c-instantiate.core)
   (flags -open Frama_c_kernel :standard -w -9)
   (libraries frama-c.kernel)
+  (instrumentation (backend landmarks))
 )
 
 (plugin (optional) (name instantiate) (libraries frama-c-instantiate.core) (site (frama-c plugins)))

src/plugins/loop_analysis/dune

@@ -37,6 +37,7 @@
   (private_modules region_analysis_sig region_analysis region_analysis_stmt loop_analysis register)
   (flags -open Frama_c_kernel :standard)
   (libraries frama-c.kernel frama-c-eva.core)
+  (instrumentation (backend landmarks))
 )
 
 (plugin (optional) (name loop-analysis) (libraries frama-c-loop-analysis.core) (site (frama-c plugins)))

src/plugins/markdown-report/dune

@@ -37,6 +37,7 @@
   (flags -open Frama_c_kernel :standard -w -9)
   (libraries frama-c.kernel)
   (preprocess (pps ppx_deriving_yojson))
+  (instrumentation (backend landmarks))
 )
 
 (plugin (optional) (name markdown-report) (libraries frama-c-markdown-report.core) (site (frama-c plugins)))

src/plugins/markdown-report/eva-info/dune

@@ -38,6 +38,7 @@
   (flags -open Frama_c_kernel :standard -w -9)
   (libraries frama-c.kernel frama-c-eva.core frama-c-markdown-report.core)
   (preprocess (pps ppx_deriving_yojson))
+  (instrumentation (backend landmarks))
 )
 
 (plugin (optional) (name markdown-report.eva-info) (libraries frama-c-markdown-report.eva-info.core) (site (frama-c plugins)))

src/plugins/metrics/dune

@@ -37,6 +37,7 @@
   (public_name frama-c-metrics.core)
   (flags -open Frama_c_kernel :standard -w -9)
   (libraries frama-c.kernel frama-c-eva.core frama-c-server.core)
+  (instrumentation (backend landmarks))
 )
 
 (plugin (optional) (name metrics) (libraries frama-c-metrics.core) (site (frama-c plugins)))

src/plugins/nonterm/dune

@@ -36,6 +36,7 @@
   (public_name frama-c-nonterm.core)
   (flags -open Frama_c_kernel :standard -w -9)
   (libraries frama-c.kernel frama-c-eva.core)
+  (instrumentation (backend landmarks))
 )
 
 (plugin (optional) (name nonterm) (libraries frama-c-nonterm.core) (site (frama-c plugins)))