All Projects → ada-actions → toolchain

ada-actions / toolchain

Licence: MIT license
GitHub action to setup an Ada/SPARK dev environment

Programming Languages

javascript
184084 projects - #8 most used programming language
typescript
32286 projects
Ada
118 projects

Ada toolchain installation Action

This action installs an Ada development environment.

Inputs

distrib

The development environment distribution. Could be fsf (default) or community.

target

The compiler target. Could be native (default), arm-elf or riscv32-elf. Currently fsf distribution supports only native target.

community_year

The version of community environment. Value: 2020, 2019. Default is the most recent.

install_dir

Path to a directory to install a community distribution. Default is a temporary folder. This could be used together with the actions/cache action to cache the installation. See an example below.

Getting Started

Using the native FSF GNAT and the GNAT Community ARM cross compiler:

steps:
- uses: actions/checkout@master
- uses: ada-actions/toolchain@dev
  with:
    distrib: fsf
    target: native
- run: gprbuild hello
- uses: ada-actions/toolchain@dev
  with:
    distrib: community
    target: arm-elf
- run: gprbuild --target=arm-eabi --RTS=zfp-microbit hello

Using the GNAT Community and a cache directory

steps:
- uses: actions/cache@v2
  with:
    path: ./cached_gnat
    key: ${{ runner.os }}-gnat-ce-2020
- uses: ada-actions/toolchain@dev
  with:
    distrib: community
    target: arm-elf
    install_dir: ./cached_gnat
- run: gprbuild --target=arm-eabi --RTS=zfp-microbit hello

License

The scripts and documentation in this project are released under the MIT License

Contributions

Contributions are welcome! See Contributor's Guide

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].