Change Makefile targets

AdaCore · Jan 14, 2021 · 5846f47 · 5846f47
1 parent 0212e34
commit 5846f47
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/Makefile b/Makefile
@@ -21,7 +21,9 @@ test-files := $(addprefix $(noprefix-dir)/, $(subst /rflx-,/,$(test-files)))
 endif
 
 .PHONY: check check_black check_isort check_flake8 check_pylint check_mypy format \
-	test test_python test_spark prove prove_tests prove_apps test_examples clean
+	test test_python test_spark test_examples prove prove_tests prove_apps clean
+
+all: check test prove
 
 check: check_dependencies check_black check_isort check_flake8 check_pylint check_mypy check_contracts check_doc
 
@@ -53,7 +55,7 @@ format:
 	black -l 100 $(python-packages) ide/gnatstudio
 	isort $(python-packages) ide/gnatstudio
 
-test: check test_python_coverage test_python_property test_spark prove_tests prove_apps
+test: test_python_coverage test_python_property test_spark
 
 test_python:
 	python3 -m pytest -n$(shell nproc) -vv -m "not hypothesis" tests