Skip to content
Snippets Groups Projects
Normal view Permalink
dune-workspace.bench 155 B
Newer Older
Allan Blanchard's avatar
[build] set workspace lang to dune 3.3  
Allan Blanchard committed
1 
(lang dune 3.3)
Andre Maroneze's avatar
[doc] add Landmarks profiling instructions for external plug-ins
Andre Maroneze committed
2 3 4 5 6 7 8 9 
(context
 (default
  (name bench)
  (profile bench)
  (instrument_with landmarks)
  (env
    (_ (env-vars ("OCAML_LANDMARKS" "auto")))))
)