diff options
| author | Robert Norton | 2018-06-28 14:18:16 +0100 |
|---|---|---|
| committer | Robert Norton | 2018-06-28 14:18:22 +0100 |
| commit | 28b054b28a5dc32bb927e7093690f4fe74d65426 (patch) | |
| tree | d590244e085af353ce20c57b53f8a40698350053 /lib | |
| parent | 48c36bf2378ed551d3fcf9d5eda2995ce1dad226 (diff) | |
Add option to build ocaml with bisect_ppx coverage support. Add cheri targets using this.
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 + |