ada.yml

# SPDX-License-Identifier: MPL-2.0
name: Ada (GNAT)

on:
  push:
    branches: [ "main" ]
  pull_request:
    branches: [ "main" ]

permissions: read-all

jobs:
  build:
    permissions:
      contents: read

    runs-on: ubuntu-latest
    timeout-minutes: 15

    steps:
    - name: Checkout
      uses: actions/checkout@df4cb1c069e1874edd31b4311f1884172cec0e10 # v6.0.3

    - name: Set up GNAT toolchain
      run: >
        sudo apt-get update &&
        sudo apt-get install gnat gprbuild

    - name: Build
      # Use gnatmake, not gprbuild: apt's gprbuild on ubuntu-latest is not
      # gprconfig-wired to the FSF Ada compiler ("no compiler for language
      # Ada"). gnatmake drives the gnat compiler directly.
      run: |
        mkdir -p obj bin
        gnatmake -o bin/modshells src/main/modshells.adb \
          -Isrc/main -Isrc/config_store -Isrc/shell_manager -Isrc/shell_validator -D obj