branch: elpa/proof-general
commit 75062f60d410b924f4019b27d758cdb4cfdddc50
Author: Erik Martin-Dorel <erik.martin-do...@irit.fr>
Commit: Erik Martin-Dorel <erik.martin-do...@irit.fr>
test: Add dist-tests target & Refactor .github/workflows/test.yml
---
.github/workflows/test.yml | 2 +-
Makefile | 11 ++++++++++-
2 files changed, 11 insertions(+), 2 deletions(-)
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index 9874fa4..3979ba2 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -123,7 +123,7 @@ jobs:
endGroup
startGroup Run tests
sudo chown -R coq:coq ./ci
- ./ci/test.sh
+ make tests
endGroup
# - run: echo "::remove-matcher owner=ert-problem-matcher::"
diff --git a/Makefile b/Makefile
index 668241b..986aed6 100644
--- a/Makefile
+++ b/Makefile
@@ -121,12 +121,21 @@ check: $(EL)
@echo "****************************************************************"
##
-## tests : run regression tests
+## tests : run a selection of regression tests
##
+.PHONY: tests
tests:
ci/test.sh
##
+## dist-tests : run all regression tests
+##
+.PHONY: dist-tests
+dist-tests:
+ +$(MAKE) -C ci/simple-tests all
+ +$(MAKE) -C ci/compile-tests test
+
+##
## Make an individual .elc. Building separately means we need to be
## careful to add proper requires in source files and prevent
## evaluating/optimising top-level forms too early. Using a separate
