aboutsummaryrefslogtreecommitdiff
path: root/tools/dune
diff options
context:
space:
mode:
Diffstat (limited to 'tools/dune')
-rw-r--r--tools/dune8
1 files changed, 8 insertions, 0 deletions
diff --git a/tools/dune b/tools/dune
index d53cd01..fa6943d 100644
--- a/tools/dune
+++ b/tools/dune
@@ -8,3 +8,11 @@
(executable
(name bootstrap_sanctoral)
(libraries colitur_kernel rite_ef unix sexplib))
+
+; Converts lectio's tridentine-lectionary.ini into data/ef/lectionary.sexp.
+; Run via `dune exec tools/bootstrap_lectionary.exe -- <source.ini> <dest.sexp>`.
+; Same `unix` usage as bootstrap_sanctoral above: shells out to `sha256sum`
+; for the provenance header only, never a new opam dependency.
+(executable
+ (name bootstrap_lectionary)
+ (libraries colitur_kernel unix sexplib))