make lint fails if any linting step fails

Author: Joseph-Edwards

Makefile

@@ -25,9 +25,7 @@ check: doctest
 	pytest -vv tests/test_*.py
 
 lint:
-	ruff check --exit-zero setup.py tests/*.py src/libsemigroups_pybind11/*.py docs/source/*.py
-	pylint --exit-zero setup.py tests/*.py src/libsemigroups_pybind11/*.py src/libsemigroups_pybind11/**/*.py
-	cpplint src/*.hpp src/*.cpp
+	etc/make-lint.sh
 
 coverage:
 	@coverage run --source . --omit="tests/*" -m pytest tests/test_*.py

etc/make-lint.sh

@@ -0,0 +1,19 @@
+#!/bin/bash
+
+if [[ $# -ne 0 ]]; then
+    bold "error expected 0 arguments, got $#!"
+    exit 1
+fi
+
+exit_code=0
+
+echo "Linting with ruff . . ."
+ruff check setup.py tests/*.py src/libsemigroups_pybind11/*.py docs/source/*.py || ((exit_code = 1))
+
+echo "Linting with pylint . . ."
+pylint setup.py tests/*.py src/libsemigroups_pybind11/*.py src/libsemigroups_pybind11/**/*.py || ((exit_code = 1))
+
+echo "Linting with cpplint . . ."
+cpplint src/*.hpp src/*.cpp || ((exit_code = 1))
+
+exit $exit_code

pyproject.toml

@@ -89,6 +89,10 @@ filterwarnings = ["error"]
 log_cli_level = "info"
 testpaths = ["tests"]
 
+[tool.pylint.main]
+ignore-paths = "src/libsemigroups_pybind11/_version.py"
+jobs = 0
+
 [tool.pylint.miscellaneous]
 # List of note tags to take in consideration, separated by a comma.
 # notes = ["TODO", "FIXME", "REVIEW"]