diff options
| author | Peter Hutterer <peter.hutterer@who-t.net> | 2013-10-23 14:57:02 +1000 |
|---|---|---|
| committer | Kristian Høgsberg <krh@bitplanet.net> | 2013-10-25 10:58:15 -0700 |
| commit | 64db37e53c422707205ccfbd4a0f1b67b90060c4 (patch) | |
| tree | 23c544c9b492ce64e49cf9acaa25535bc4dd9f21 /protocol | |
| parent | c85f1d4595c9241552d1b2e96a29f284ef4b33b5 (diff) | |
| download | weston-64db37e53c422707205ccfbd4a0f1b67b90060c4.tar.gz | |
protocol: hook up xmllint to check validity
Diffstat (limited to 'protocol')
| -rw-r--r-- | protocol/Makefile.am | 17 |
1 files changed, 16 insertions, 1 deletions
diff --git a/protocol/Makefile.am b/protocol/Makefile.am index 924e48f3..d09d8ebc 100644 --- a/protocol/Makefile.am +++ b/protocol/Makefile.am @@ -1,4 +1,4 @@ -EXTRA_DIST = \ +protocol_sources = \ desktop-shell.xml \ screenshooter.xml \ tablet-shell.xml \ @@ -9,3 +9,18 @@ EXTRA_DIST = \ subsurface.xml \ text-cursor-position.xml \ wayland-test.xml + +if HAVE_XMLLINT +.PHONY: validate + +.%.xml.valid: %.xml + $(AM_V_GEN)$(XMLLINT) --noout --dtdvalid $(dtddir)/wayland.dtd $^ > $@ + +validate: $(protocol_sources:%.xml=.%.xml.valid) + +all-local: validate + +CLEANFILES= $(protocol_sources:%.xml=.%.xml.valid) +EXTRA_DIST=$(protocol_sources) + +endif |