-arg -w -arg +elpi.deprecated
-arg -w -arg -ambiguous-extra-dep
-arg -w -arg -future-coercion-class-field

# Plugins.

-I _build/install/default/lib

# Theories

-Q theories elpi
-Q _build/default/theories elpi
-Q elpi elpi_elpi
-Q _build/default/elpi elpi_elpi
-Q examples elpi.examples
-Q _build/default/examples elpi.examples

-Q apps/coercion/tests elpi.apps.coercion.tests
-Q _build/default/apps/coercion/tests elpi.apps.coercion.tests
-Q apps/coercion/theories elpi.apps.coercion
-Q _build/default/apps/coercion/theories elpi.apps.coercion
-Q apps/cs/tests elpi.apps.cs.tests
-Q _build/default/apps/cs/tests elpi.apps.cs.tests
-Q apps/cs/theories elpi.apps.cs
-Q _build/default/apps/cs/theories elpi.apps.cs
-Q apps/derive/elpi elpi.apps.derive.elpi
-Q _build/default/apps/derive/elpi elpi.apps.derive.elpi
-Q apps/derive/examples elpi.apps.derive.examples
-Q _build/default/apps/derive/examples elpi.apps.derive.examples
-Q apps/derive/tests elpi.apps.derive.tests
-Q _build/default/apps/derive/tests elpi.apps.derive.tests
-Q apps/derive/theories elpi.apps.derive
-Q _build/default/apps/derive/theories elpi.apps.derive
-Q apps/derive/theories/derive elpi.apps.derive.derive
-Q _build/default/apps/derive/theories/derive elpi.apps.derive.derive
-Q apps/eltac/examples elpi.apps.eltac.examples
-Q _build/default/apps/eltac/examples elpi.apps.eltac.examples
-Q apps/eltac/tests elpi.apps.eltac.tests
-Q _build/default/apps/eltac/tests elpi.apps.eltac.tests
-Q apps/eltac/theories elpi.apps.eltac
-Q _build/default/apps/eltac/theories elpi.apps.eltac
-Q apps/locker/elpi elpi.apps.locker.elpi
-Q _build/default/apps/locker/elpi elpi.apps.locker.elpi
-Q apps/locker/tests elpi.apps.locker.tests
-Q _build/default/apps/locker/tests elpi.apps.locker.tests
-Q apps/locker/theories elpi.apps.locker
-Q _build/default/apps/locker/theories elpi.apps.locker
-Q apps/NES/elpi elpi.apps.NES.elpi
-Q _build/default/apps/NES/elpi elpi.apps.NES.elpi
-Q apps/NES/examples elpi.apps.NES.examples
-Q _build/default/apps/NES/examples elpi.apps.NES.examples
-Q apps/NES/tests elpi.apps.NES.tests
-Q _build/default/apps/NES/tests elpi.apps.NES.tests
-Q apps/NES/theories elpi.apps.NES
-Q _build/default/apps/NES/theories elpi.apps.NES
-Q apps/tc/elpi elpi.apps.tc.elpi
-Q _build/default/apps/tc/elpi elpi.apps.tc.elpi
-Q apps/tc/examples elpi.apps.tc.examples
-Q _build/default/apps/tc/examples elpi.apps.tc.examples
-Q apps/tc/tests elpi.apps.tc.tests
-Q _build/default/apps/tc/tests elpi.apps.tc.tests
-Q apps/tc/theories elpi.apps.tc
-Q _build/default/apps/tc/theories elpi.apps.tc

# Cram tests.

-Q tests/link_order5.t elpi.test
-Q tests/checker.t elpi.test
-Q tests/query_extra_dep.t elpi.test
-Q tests/libobject_C.t elpi.test
-Q tests/link_order3.t elpi.test
-Q tests/ltac3.t elpi.test
-Q tests/synterp.t elpi.test
-Q tests/link_order6.t elpi.test
-Q tests/API2.t elpi.test
-Q tests/glob.t elpi.test
-Q tests/require_bad_order.t elpi.test
-Q tests/API_arguments.t elpi.test
-Q tests/link_order9.t elpi.test
-Q tests/API_typecheck.t elpi.test
-Q tests/link_order7.t elpi.test
-Q tests/libobject_A.t elpi.test
-Q tests/libobject_B.t elpi.test
-Q tests/vernacular1.t elpi.test
-Q tests/API_section.t elpi.test
-Q tests/tactic.t elpi.test
-Q tests/link_perf.t elpi.test
-Q tests/API_elaborate.t elpi.test
-Q tests/link_order_import3.t elpi.test
-Q tests/COQ_ELPI_ATTRIBUTES.t elpi.test
-Q tests/elaborator.t elpi.test
-Q tests/HOAS.t elpi.test
-Q tests/API_notations.t elpi.test
-Q tests/arg_HOAS.t elpi.test
-Q tests/link_order_import2.t elpi.test
-Q tests/link_order2.t elpi.test
-Q tests/link_order8.t elpi.test
-Q tests/cache_async.t elpi.test
-Q tests/API_new_pred.t elpi.test
-Q tests/quotation.t elpi.test
-Q tests/ltac2.t elpi.test
-Q tests/perf_calls.t elpi.test
-Q tests/link_order1.t elpi.test
-Q tests/link_order_import0.t elpi.test
-Q tests/ltac.t elpi.test
-Q tests/link_order4.t elpi.test
-Q tests/API_env.t elpi.test
-Q tests/toposort.t elpi.test
-Q tests/link_order_import1.t elpi.test
-Q tests/API_module.t elpi.test
-Q tests/vernacular2.t elpi.test
-Q tests/API.t elpi.test
-Q tests/ctx_cache.t elpi.test
-Q tests/API_TC_CS.t elpi.test
-Q tests/example_abs_evars.t elpi.test
-Q tests/example_curry_howard_tactics.t elpi.test
-Q tests/example_data_base.t elpi.test
-Q tests/example_fuzzer.t elpi.test
-Q tests/example_generalize.t elpi.test
-Q tests/example_import_projections.t elpi.test
-Q tests/example_record_expansion.t elpi.test
-Q tests/example_record_to_sigma.t elpi.test
-Q tests/example_reduction_surgery.t elpi.test
-Q tests/example_reflexive_tactic.t elpi.test
-Q tests/tutorial_coq_elpi_command.t elpi.test
-Q tests/tutorial_coq_elpi_HOAS.t elpi.test
-Q tests/tutorial_coq_elpi_tactic.t elpi.test
-Q tests/tutorial_elpi_lang.t elpi.test
