diff options
| -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 $@ |