language: c
sudo: false
addons:
  apt:
    packages:
      - gnat
script: ./dist/travis-ci.sh