# Copyright 2021, Proofcraft Pty Ltd
#
# SPDX-License-Identifier: BSD-2-Clause

# xmllint for seL4 IDL files

name: XML

on:
  push:
    branches:
      - master
    paths:
      - 'libsel4/**/sel4*.xml'
      - 'libsel4/**/sel4*.xsd'
      - 'libsel4/include/api/syscall.xml'
      - 'libsel4/include/api/syscall.xsd'
  pull_request:
    paths:
      - 'libsel4/**/sel4*.xml'
      - 'libsel4/**/sel4*.xsd'
      - 'libsel4/include/api/syscall.xml'
      - 'libsel4/include/api/syscall.xsd'
  workflow_dispatch:

jobs:
  xmllint:
    name: XML Lint
    runs-on: ubuntu-latest
    steps:
    - name: apt-get update
      run: sudo apt-get update
    - name: install xmllint
      run: sudo apt-get install libxml2-utils
    - uses: actions/checkout@v4
    - name: run xmllint
      run: |
        find libsel4 -name "object-api*.xml" | \
        xargs xmllint --schema libsel4/tools/sel4_idl.xsd --noout
        xmllint --schema libsel4/include/api/syscall.xsd --noout libsel4/include/api/syscall.xml