org.freedesktop.Sdk.Extension.gnat13.yml

# SPDX-FileCopyrightText: 2024 Junde Yhi <junde@yhi.moe>
# SPDX-License-Identifier: CC0-1.0

id: org.freedesktop.Sdk.Extension.gnat13
branch: '23.08'
runtime: org.freedesktop.Sdk
runtime-version: '23.08'
sdk: org.freedesktop.Sdk
build-extension: true
separate-locales: false
appstream-compose: false
modules:
  - name: gnat
    only-arches:
      - x86_64
    buildsystem: simple
    build-commands:
      - cp -R * /usr/lib/sdk/gnat13
    sources:
      - type: archive
        url: https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnat-13.2.0-2/gnat-x86_64-linux-13.2.0-2.tar.gz
        sha256: a27fd7945ac9ead50abdd8e4564d133d00f635536bf9dfdf1e00af5e08a0c494

  - name: gnatprove
    only-arches:
      - x86_64
    buildsystem: simple
    build-commands:
      - cp -R * /usr/lib/sdk/gnat13
    sources:
      - type: archive
        url: https://github.com/alire-project/GNAT-FSF-builds/releases/download/gnatprove-13.2.0-1/gnatprove-x86_64-linux-13.2.0-1.tar.gz
        sha256: 28fc3583d2364c1e10790fe258c408faffa42d7ff77bb81dc18d4907608f4017

  - name: gprbuild
    only-arches:
      - x86_64
    buildsystem: simple
    build-commands:
      - cp -R * /usr/lib/sdk/gnat13
    sources:
      - type: archive
        url: https://github.com/alire-project/GNAT-FSF-builds/releases/download/gprbuild-24.0.0-2/gprbuild-x86_64-linux-24.0.0-2.tar.gz
        sha256: 5b8a03895d56c81ce8592dd9494c9b1f0a526ed958ba594753584fa8bfe3faf1

  - name: alire
    only-arches:
      - x86_64
    buildsystem: simple
    build-commands:
      - install -Dm755 -t /usr/lib/sdk/gnat13/bin alr
    sources:
      - type: archive
        url: https://github.com/alire-project/alire/releases/download/v2.0.2/alr-2.0.2-bin-x86_64-linux.zip
        sha256: 579de127341a1a684e07410b8b7a15ea7c2b39c47fd1a21179202203afe4be23

  - name: enable-sh
    buildsystem: simple
    build-commands:
      - install -Dm755 -t /usr/lib/sdk/gnat13 enable.sh
    sources:
      - type: script
        dest-filename: enable.sh
        commands:
          # Stop Alire from interactively asking for a selection of toolchain. Do this in the
          # runtime, as the configuration file (~/.config/alire/settings.toml) wouldn't be packaged.
          - /usr/lib/sdk/gnat13/bin/alr toolchain --disable-assistant > /dev/null
          - export PATH="/usr/lib/sdk/gnat13/bin:$PATH"

  - name: metadata
    buildsystem: simple
    build-commands:
      - install -Dm644 -t /usr/lib/sdk/gnat13/share/metainfo org.freedesktop.Sdk.Extension.gnat13.metainfo.xml
      # Run appstream-compose manually to fix the hard-coded, incorrect prefix for extensions.
      # See: <https://github.com/flatpak/flatpak-builder/issues/368>
      - appstream-compose --prefix=/usr/lib/sdk/gnat13 --origin=flatpak --basename=org.freedesktop.Sdk.Extension.gnat13 org.freedesktop.Sdk.Extension.gnat13
    sources:
      - type: file
        path: org.freedesktop.Sdk.Extension.gnat13.metainfo.xml