Skip to content
GNAT Linux

GNATprove 14.1 #197

Sign in to view logs

GNATprove 14.1

GNATprove 14.1 #197

Workflow file for this run

.github/workflows/linux.yml at 48821a2
name: GNAT Linux
on:
#schedule:
# - cron: '0 0 * * *'
#push:
pull_request:
jobs:
gnat:
name: GNAT Linux
runs-on: ubuntu-20.04
steps:
- name: Checkout Project
uses: actions/checkout@v2
- name: Set up Python
uses: actions/setup-python@v2
with:
python-version: 3.8
- name: Install Python dependencies
run: |
python -m pip install --upgrade pip
pip install e3-core==22.1.0
- name: Install Ada dependencies
run: sudo apt-get install gnat bison
- name: Build GNAT native
run: ./anod build gcc -v --loglevel DEBUG --enable-cleanup
- name: Build GDB
run: ./anod build gdb -v --loglevel DEBUG --enable-cleanup
- name: Package GNAT
run: ./anod build release_package --qualifier=package=gnat,do_gh_release -v --loglevel DEBUG
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # for GitHub CLI tool
- uses: actions/upload-artifact@v2
with:
name: anod-artifacts
path: out_artifacts/*
retention-days: 1
- uses: actions/upload-artifact@v2
with:
name: release-packages
path: sbx/*/release_package*/install/*
retention-days: 5
gprbuild_gnatcov:
name: GPRbuild and GNATcov
runs-on: ubuntu-20.04
steps:
- name: Checkout Project
uses: actions/checkout@v2
- name: Set up Python
uses: actions/setup-python@v2
with:
python-version: 3.8
- name: Install Python dependencies
run: |
python -m pip install --upgrade pip
pip install e3-core==22.1.0
- name: Build GPRbuild
run: ./anod build gprbuild -v --loglevel DEBUG --enable-cleanup
- name: Package GPRbuild
run: ./anod build release_package --qualifier=package=gprbuild,do_gh_release -v --loglevel DEBUG
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # for GitHub CLI tool
- name: Build GNATcov
run: ./anod build gnatcov -v --loglevel DEBUG --enable-cleanup
- name: Package GNATcov
run: ./anod build release_package --qualifier=package=gnatcov,do_gh_release -v --loglevel DEBUG
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # for GitHub CLI tool
- uses: actions/upload-artifact@v2
with:
name: release-packages
path: sbx/*/release_package*/install/*
retention-days: 5
gnat_cross:
strategy:
matrix:
target: ["arm-elf", "riscv64-elf", "avr-elf"]
name: GNAT ${{ matrix.target }}-linux
needs: gnat
runs-on: ubuntu-20.04
steps:
- name: Checkout Project
uses: actions/checkout@v2
- uses: actions/download-artifact@v2
with:
name: anod-artifacts
path: in_artifacts/
- name: Set up Python
uses: actions/setup-python@v2
with:
python-version: 3.8
- name: Install Python dependencies
run: |
python -m pip install --upgrade pip
pip install e3-core==22.1.0
- name: Build GNAT ${{ matrix.target }}
run: ./anod build gcc -v --loglevel DEBUG --target=${{ matrix.target }} --enable-cleanup
- name: Build GDB ${{ matrix.target }}
run: ./anod build gdb -v --loglevel DEBUG --target=${{ matrix.target }} --enable-cleanup
- name: Package GNAT ${{ matrix.target }}
run: ./anod build release_package --qualifier=package=gnat,do_gh_release --target=${{ matrix.target }} -v --loglevel DEBUG
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # for GitHub CLI tool
- uses: actions/upload-artifact@v2
with:
name: release-packages
path: sbx/*/release_package*/install/*
retention-days: 5
why3:
strategy:
matrix:
ocaml-compiler:
- 4.11.2
runs-on: ubuntu-20.04
steps:
- name: Checkout code
uses: actions/checkout@v2
with:
repository: 'adacore/why3'
ref: 'fsf-14'
- name: Use Setup OCaml {{ matrix.ocaml-version }}
uses: ocaml/setup-ocaml@v2
with:
ocaml-compiler: ${{ matrix.ocaml-compiler }}
- name: Setup Packages
run: |
opam depext zarith re seq why3
opam install dune dune-configurator menhir num ocamlgraph re seq yojson zarith sexplib ppx_sexp_conv ppx_deriving
- run: opam exec -- ./configure --prefix=/tmp/why3install --enable-relocation --disable-emacs-compilation --disable-hypothesis-selection --disable-js-of-ocaml --disable-zip
- run: opam exec -- make
- run: opam exec -- make install_spark2014
- run: git log --format="%H" -n 1 > /tmp/why3install/why3-version.txt
- name: Upload the build artifact
uses: actions/upload-artifact@v2
with:
name: why3
path: /tmp/why3install
alt_ergo:
strategy:
matrix:
ocaml-compiler:
- "4.11.2"
runs-on: ubuntu-20.04
steps:
- name: Checkout code
uses: actions/checkout@v2
with:
repository: 'adacore/alt-ergo'
ref: 'fsf-14'
- name: Use Setup OCaml {{ matrix.ocaml-version }}
uses: ocaml/setup-ocaml@v2
with:
ocaml-compiler: ${{ matrix.ocaml-compiler }}
- run: opam install alt-ergo --destdir=/tmp/alt-ergo-install
- run: git log --format="%H" -n 1 > /tmp/alt-ergo-install/alt-ergo-version.txt
- name: Upload the build artifact
uses: actions/upload-artifact@v2
with:
name: alt-ergo
path: /tmp/alt-ergo-install
spark:
name: spark
needs: [why3, alt_ergo]
runs-on: ubuntu-20.04
steps:
- name: Checkout Project
uses: actions/checkout@v2
- uses: actions/download-artifact@v2
with:
name: alt-ergo
path: alt-ergo_artifact/
- uses: actions/download-artifact@v2
with:
name: why3
path: why3_artifact/
- name: Set up Python
uses: actions/setup-python@v2
with:
python-version: 3.8
- name: Install Python dependencies
run: |
python -m pip install --upgrade pip
pip install e3-core==22.1.0
- name: Build SPARK
run: ./anod build spark2014 -v --loglevel DEBUG --enable-cleanup
- name: Package GNATprove
run: ./anod build release_package --qualifier=package=gnatprove,do_gh_release -v --loglevel DEBUG
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # for GitHub CLI tool
- uses: actions/upload-artifact@v2
with:
name: release-packages
path: sbx/*/release_package*/install/*
retention-days: 5