diff options
Diffstat (limited to 'tools/dune')
| -rw-r--r-- | tools/dune | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/tools/dune b/tools/dune new file mode 100644 index 0000000..d53cd01 --- /dev/null +++ b/tools/dune @@ -0,0 +1,10 @@ +; A documented one-shot, not part of the build's normal product (spec ยง4.5): +; converts lectio's tridentine-calendar.ini into data/ef/sanctoral.sexp. Run +; via `dune exec tools/bootstrap_sanctoral.exe -- <source.ini> <dest.sexp>`. +; `unix` is the OCaml distribution's bundled library (already in the switch, +; not a new opam dependency) -- used only here, never by the kernel, to shell +; out to `sha256sum` for the provenance header; the kernel itself never reads +; the environment or a clock. +(executable + (name bootstrap_sanctoral) + (libraries colitur_kernel rite_ef unix sexplib)) |