Skip to content

ada-actions/toolchain

Use this GitHub action with your project
Add this Action to an existing workflow or create a new one
View on Marketplace
 
 

Repository files navigation

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

About

GitHub action to setup an Ada/SPARK dev environment

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages

  • JavaScript 60.2%
  • TypeScript 38.9%
  • Ada 0.9%