diff options
Diffstat (limited to 'data/dune')
| -rw-r--r-- | data/dune | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/data/dune b/data/dune new file mode 100644 index 0000000..07e5307 --- /dev/null +++ b/data/dune @@ -0,0 +1,23 @@ +; The four RUNTIME data files, installed into <prefix>/share/colitur/ef/ so a +; `dune install`ed / opam-installed `colitur` can find them (bin/main.ml's own +; [data_dir], which probes the installed layout before the build-tree one). +; +; Deliberately NOT the two allow-lists (expected-divergences.sexp, +; expected-divergences-missalemeum.sexp): those are test fixtures describing +; where colitur and a comparison oracle disagree, read only by +; test_differential.ml / test_oracle.ml, and are meaningless to a running +; `colitur`. Installing them would ship an assertion about lectio's and +; missalemeum's behaviour as though it were calendar data. +; +; If a new runtime data file is ever added, it must be added HERE too -- there +; is no glob, on purpose: a glob would silently start shipping the allow-lists +; the moment someone renamed one, and an omission here fails loudly at startup +; (exit 2, naming the missing file) rather than silently degrading. +(install + (section share) + (package colitur) + (files + (ef/sanctoral.sexp as ef/sanctoral.sexp) + (ef/adjustments.sexp as ef/adjustments.sexp) + (ef/lectionary.sexp as ef/lectionary.sexp) + (ef/commons.sexp as ef/commons.sexp))) |