diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/_tags_coverage | 3 | ||||
| -rw-r--r-- | lib/myocamlbuild_coverage.ml | 4 |
2 files changed, 7 insertions, 0 deletions
diff --git a/lib/_tags_coverage b/lib/_tags_coverage new file mode 100644 index 00000000..b0d06819 --- /dev/null +++ b/lib/_tags_coverage @@ -0,0 +1,3 @@ +true: debug +<*.m{l,li}>: package(lem), package(linksem), package(zarith), coverage +<main.native>: package(lem), package(linksem), package(zarith), coverage diff --git a/lib/myocamlbuild_coverage.ml b/lib/myocamlbuild_coverage.ml new file mode 100644 index 00000000..0f554958 --- /dev/null +++ b/lib/myocamlbuild_coverage.ml @@ -0,0 +1,4 @@ +(* ocamlbuild file for use with bisect_ppx *) +open Ocamlbuild_plugin +let () = dispatch Bisect_ppx_plugin.dispatch + |