diff options
| author |   Florian Schmaus <flow@gentoo.org> | 2023-02-20 17:32:40 +0100 |
|---|---|---|
| committer | Florian Schmaus <flow@gentoo.org> | 2023-03-16 15:48:11 +0100 |
| commit | df7a01278eae4d30ea4e63c5399cf54dc5bbae84 (patch) | |
| tree | e5e1329cc2dd2a7f41ae4dfdb9347692fe41cb96 | |
| parent | repositories.xml: sort correctly (diff) | |
| download | api-df7a01278eae4d30ea4e63c5399cf54dc5bbae84.tar.gz api-df7a01278eae4d30ea4e63c5399cf54dc5bbae84.tar.bz2 api-df7a01278eae4d30ea4e63c5399cf54dc5bbae84.zip | |
Add Makefile(s) with 'check' target
Signed-off-by: Florian Schmaus <flow@gentoo.org>
| -rw-r--r-- | Makefile | 3 | ||||
| -rw-r--r-- | files/overlays/.gitignore | 5 | ||||
| -rw-r--r-- | files/overlays/Makefile | 35 |
3 files changed, 43 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..369236e --- /dev/null +++ b/Makefile @@ -0,0 +1,3 @@ +.PHONY: check +check: + $(MAKE) -C files/overlays $@ diff --git a/files/overlays/.gitignore b/files/overlays/.gitignore new file mode 100644 index 0000000..9a4955a --- /dev/null +++ b/files/overlays/.gitignore @@ -0,0 +1,5 @@ +/.repositories-dtd-valid +/.repositories-xsd-valid +/.repositories-check-successful +/repositories.dtd +/repositories.xsd diff --git a/files/overlays/Makefile b/files/overlays/Makefile new file mode 100644 index 0000000..523080d --- /dev/null +++ b/files/overlays/Makefile @@ -0,0 +1,35 @@ +.PHONY: check +check: .repositories-dtd-valid .repositories-xsd-valid .repositories-check-successful + +# Check repositories.xml against the Document Type Definition (DTD). +.repositories-dtd-valid: repositories.xml repositories.dtd + xmllint --noout --dtdvalid repositories.dtd repositories.xml + touch $@ + +.PHONY: repositories.dtd +repositories.dtd: +ifeq ($(OFFLINE), true) + [ ! -f repositories.dtd ] && exit 1 +else + wget --timestamping https://www.gentoo.org/dtd/repositories.dtd +endif + + +# Check repositories.xml against the XML Schema Definition (XSD) +.repositories-xsd-valid: repositories.xsd repositories.xml + xmllint --noout --schema $^ + touch $@ + +.PHONY: repositories.xsd +repositories.xsd: +ifeq ($(OFFLINE), true) + [ ! -f repositories.xsd ] && exit 1 +else + wget --timestamping https://gitweb.gentoo.org/data/xml-schema.git/plain/repositories.xsd +endif + + +# Run a full check of repositories.xml via repositories-checker.py +.repositories-check-successful: repositories.xml + ../../bin/repositories-checker.py - $^ + touch $@ |