this repo has no description
at main 25 lines 589 B view raw
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))))