Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/ada-actions/toolchain
GitHub action to setup an Ada/SPARK dev environment
https://github.com/ada-actions/toolchain
Last synced: 2 months ago
JSON representation
GitHub action to setup an Ada/SPARK dev environment
- Host: GitHub
- URL: https://github.com/ada-actions/toolchain
- Owner: ada-actions
- License: mit
- Fork: true (Fabien-Chouteau/setup-ada)
- Created: 2019-11-14T12:57:09.000Z (over 4 years ago)
- Default Branch: ce2021
- Last Pushed: 2022-03-11T11:50:21.000Z (over 2 years ago)
- Last Synced: 2024-04-01T04:42:29.486Z (3 months ago)
- Language: JavaScript
- Size: 21 MB
- Stars: 20
- Watchers: 2
- Forks: 6
- Open Issues: 4
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Lists
- awesome-ada - ada-actions - Ada Toolchains for GitHub Actions. (Deployment / Continuous Integration)
- awesome-ada - ada-actions - Ada Toolchains for GitHub Actions. (Deployment / Continuous Integration)
README
# 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:
```yaml
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
```yaml
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](LICENSE)
# Contributions
Contributions are welcome! See [Contributor's Guide](docs/contributors.md)