-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 theories-stdlib elpi_stdlib
-Q _build/default/theories-stdlib elpi_stdlib

-Q elpi elpi_elpi
-Q _build/default/elpi elpi_elpi

-Q examples elpi.examples
-Q _build/default/examples elpi.examples
-Q examples-stdlib elpi_examples_stdlib
-Q _build/default/examples-stdlib elpi_examples_stdlib

-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/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/derive/tests elpi.apps.derive.tests
-Q _build/default/apps/derive/tests elpi.apps.derive.tests
-Q apps/derive/tests-stdlib elpi_apps_derive_tests_stdlib
-Q _build/default/apps/derive/tests-stdlib elpi_apps_derive_tests_stdlib

-Q apps/eltac/examples elpi.apps.eltac.examples
-Q _build/default/apps/eltac/examples elpi.apps.eltac.examples
-Q apps/eltac/theories elpi.apps.eltac
-Q _build/default/apps/eltac/theories elpi.apps.eltac
-Q apps/eltac/tests elpi.apps.eltac.tests
-Q _build/default/apps/eltac/tests elpi.apps.eltac.tests
-Q apps/eltac/tests-stdlib elpi_apps_eltac_tests_stdlib
-Q _build/default/apps/eltac/tests-stdlib elpi_apps_eltac_tests_stdlib

-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/theories elpi.apps.tc
-Q _build/default/apps/tc/theories elpi.apps.tc
-Q _build/default/apps/tc/tests elpi.apps.tc.tests
-Q apps/tc/tests elpi.apps.tc.tests
-Q _build/default/apps/tc/tests-stdlib elpi_apps_tc_tests_stdlib
-Q apps/tc/tests-stdlib elpi_apps_tc_tests_stdlib

# Cram tests.

-Q tests elpi.tests
-Q _build/default/tests elpi.tests

-Q tests-stdlib elpi_tests_stdlib
-Q _build/default/tests-stdlib elpi_tests_stdlib
