1#!/bin/bash
2#
3# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
4#
5# SPDX-License-Identifier: BSD-2-Clause
6#
7
8xml_sources=$(find ../libsel4/arch_include/*/interfaces ../libsel4/sel4_arch_include/*/interfaces -name 'sel4arch.xml')
9if [[ -z $xml_sources ]]; then
10    echo "Unable to find sel4arch.xml files"
11    exit 1
12fi
13
14idl_source=$(find ../libsel4/tools -name 'sel4_idl.dtd')
15if [[ -z $idl_source ]]; then
16    echo "Unable to find sel4_idl.dtd"
17    exit 1
18fi
19
20xmllint --dtdvalid ${idl_source} --noout ${xml_sources}
21