LPCIC · gares · Jan 25, 2025 · Jan 24, 2025 · Jan 24, 2025 · Jan 25, 2025
diff --git a/apps/coercion/tests/coercion.t/run.t b/apps/coercion/tests/coercion.t/run.t
diff --git a/apps/coercion/tests/coercion_open.t/run.t b/apps/coercion/tests/coercion_open.t/run.t
diff --git a/apps/coercion/tests/dune b/apps/coercion/tests/dune
@@ -1,7 +1,6 @@
-(cram
- (applies_to :whole_subtree)
- (deps
-  %{bin:coqc}
-  %{bin:coqdep}
-  (package coq-elpi)
-  setup-project.sh))
+(coq.theory
+ (name elpi.apps.coercion.tests)
+ (package coq-elpi-tests)
+ (theories elpi elpi.apps.coercion))
+
+(include_subdirs qualified)
diff --git a/apps/coercion/tests/setup-project.sh b/apps/coercion/tests/setup-project.sh
diff --git a/apps/coercion/tests/coercion.t/test.v → apps/coercion/tests/test.v b/apps/coercion/tests/coercion.t/test.v → apps/coercion/tests/test.v
diff --git a/apps/coercion/tests/coercion.t/test2.v → apps/coercion/tests/test2.v b/apps/coercion/tests/coercion.t/test2.v → apps/coercion/tests/test2.v
diff --git a/apps/coercion/tests/coercion_open.t/test.v → apps/coercion/tests/test_open.v b/apps/coercion/tests/coercion_open.t/test.v → apps/coercion/tests/test_open.v
diff --git a/etc/run.t b/etc/run.t
diff --git a/etc/setup-project.sh b/etc/setup-project.sh