language: c
sudo: false
addons:
apt:
packages:
- gprbuild
- gnat
- libaunit3
script:
- make
- make test