From e18803babc2cd128423d9e572b947b3eba675f8d Mon Sep 17 00:00:00 2001 From: Martijn Pieters Date: Wed, 25 Jan 2023 22:27:18 +0000 Subject: [PATCH] Clean up the makefile and dev requirements (#410) Clean up the makefile Remove targets that were merged into lint, and trigger lint where the removed targets were being triggered before. This is a follow-up fix for changes in 2538a00ef8fd852bc5f4ed18f5da36d118cf83c9. --- CHANGES/410.misc | 1 + Makefile | 4 ++-- requirements/dev.txt | 1 + 3 files changed, 4 insertions(+), 2 deletions(-) create mode 100644 CHANGES/410.misc diff --git a/CHANGES/410.misc b/CHANGES/410.misc new file mode 100644 index 00000000..6ff8a76b --- /dev/null +++ b/CHANGES/410.misc @@ -0,0 +1 @@ +Cleaned up the development makefile and requirements files diff --git a/Makefile b/Makefile index c9ae377b..f5b69d53 100644 --- a/Makefile +++ b/Makefile @@ -27,7 +27,7 @@ ifndef CI endif python -m mypy frozenlist --show-error-codes -.develop: .install-deps $(shell find frozenlist -type f) .flake check_changes mypy +.develop: .install-deps $(shell find frozenlist -type f) lint pip install -e . @touch .develop @@ -89,4 +89,4 @@ install: install-dev: .develop -.PHONY: all build flake test vtest cov clean doc mypy +.PHONY: all build test vtest cov clean doc lint diff --git a/requirements/dev.txt b/requirements/dev.txt index d6e1198b..188fe915 100644 --- a/requirements/dev.txt +++ b/requirements/dev.txt @@ -1 +1,2 @@ -e . +-r ci.txt