diff options
Diffstat (limited to 'data/dune')
| -rw-r--r-- | data/dune | 21 |
1 files changed, 20 insertions, 1 deletions
@@ -33,4 +33,23 @@ ; The Benedictine one is deliberately two entries long, and the comment ; block explaining why is the point of shipping it. (ef/examples/poland.ini as examples/poland.ini) - (ef/examples/benedictine.ini as examples/benedictine.ini))) + (ef/examples/benedictine.ini as examples/benedictine.ini) + ; The OF runtime data files, installed into <prefix>/share/colitur/of/ -- + ; same reasoning as the ef/ set above. Deliberately NOT + ; of/expected-divergences-litcal.sexp: that is a test fixture, read only by + ; test_oracle_of.ml, same as the EF allow-lists above. + (of/calendar-2002.sexp as of/calendar-2002.sexp) + (of/lectionary.sexp as of/lectionary.sexp) + (of/amendments/001-padre-pio.sexp as of/amendments/001-padre-pio.sexp) + (of/amendments/002-juan-diego-cuauhtlatoatzin.sexp as of/amendments/002-juan-diego-cuauhtlatoatzin.sexp) + (of/amendments/003-our-lady-of-guadalupe.sexp as of/amendments/003-our-lady-of-guadalupe.sexp) + (of/amendments/004-john-xxiii-john-paul-ii.sexp as of/amendments/004-john-xxiii-john-paul-ii.sexp) + (of/amendments/005-mary-magdalene-rank.sexp as of/amendments/005-mary-magdalene-rank.sexp) + (of/amendments/006-mary-mother-of-the-church.sexp as of/amendments/006-mary-mother-of-the-church.sexp) + (of/amendments/007-paul-vi.sexp as of/amendments/007-paul-vi.sexp) + (of/amendments/008-our-lady-of-loreto.sexp as of/amendments/008-our-lady-of-loreto.sexp) + (of/amendments/009-faustina-kowalska.sexp as of/amendments/009-faustina-kowalska.sexp) + (of/amendments/010-narek-avila-hildegard.sexp as of/amendments/010-narek-avila-hildegard.sexp) + (of/amendments/011-martha-mary-lazarus.sexp as of/amendments/011-martha-mary-lazarus.sexp) + (of/amendments/012-teresa-of-calcutta.sexp as of/amendments/012-teresa-of-calcutta.sexp) + (of/amendments/013-john-henry-newman.sexp as of/amendments/013-john-henry-newman.sexp))) |