diff options
| author | Alasdair Armstrong | 2018-12-26 15:24:55 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-12-26 15:24:55 +0000 |
| commit | e0479ea3c479547c093ade9f675e5a0a652e8a34 (patch) | |
| tree | b4e939131642a7e97b4c1bae89531fc728187210 /src/myocamlbuild.ml | |
| parent | 0a293f2e7ca72e1dc422f0035d271d7dc39cfcb2 (diff) | |
Add makefile target for building with Bisect coverage
Diffstat (limited to 'src/myocamlbuild.ml')
| -rw-r--r-- | src/myocamlbuild.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/myocamlbuild.ml b/src/myocamlbuild.ml index f408703f..b1f95339 100644 --- a/src/myocamlbuild.ml +++ b/src/myocamlbuild.ml @@ -79,6 +79,8 @@ let lem_opts = [A "-lib"; P "../gen_lib"; dispatch begin function | After_rules -> + Bisect_ppx_plugin.handle_coverage (); + (* ocaml_lib "lem_interp/interp"; *) ocaml_lib ~extern:false ~dir:"pprint/src" ~tag_name:"use_pprint" "pprint/src/PPrintLib"; |