Merge pull request LPCIC#773 from LPCIC/fix-coqproject

fix _CoqProject

Author: gares

_CoqProject

@@ -10,10 +10,16 @@
 
 -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
@@ -23,28 +29,36 @@
 -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/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/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/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
@@ -53,15 +67,22 @@
 -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 _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
+-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