this repo has no description
1; Note: We disable warning 18 here to support compiler versions < 4.03
2; See https://caml.inria.fr/mantis/view.php?id=7135 for details
3
4(env
5 (dev
6 (flags
7 (:standard -g -w -18-53)))
8 (release
9 (flags
10 (:standard -g -w -18-53))))
11
12; Note: We exclude any other directory from the default alias, to avoid building
13; docs targets when running `dune build` in the root directory.
14
15(alias
16 (name default)
17 (deps
18 (alias_rec src/default)))
19
20(rule
21 (alias bench)
22 (action
23 (progn
24 (bash "diff doc/driver.mld doc/driver.mld.corrected >&2 || true")
25 (cat doc/driver-benchmarks.json))))