/setup-ada

GitHub action to setup an Ada/SPARK dev environment

Primary LanguageTypeScriptMIT LicenseMIT

setup-ada

This action sets up a Ada/SPARK environment for use in GitHub actions.

Usage

See action.yml

Basic:

steps:
- uses: actions/checkout@master
- uses: Fabien-Chouteau/setup-ada@dev
  with:
    distrib: fsf
    target: native
- run: gprbuild hello
- uses: Fabien-Chouteau/setup-ada@dev
  with:
    distrib: community
    target: arm-elf
- 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