sudo: false

addons:
  apt:
    packages:
    - graphviz

language: c
compiler:
  - gcc
  - clang

install:
  - ./get-deps.sh
  - ./build-deps.sh
script:
  - make -e all
  - make -e check

notifications:
  email: false
sudo: false

addons:
  apt:
    packages:
    - graphviz

language: c
compiler:
  - gcc
  - clang

install:
  - ./get-deps.sh
  - ./get-extra-deps.sh
  - ./build-deps.sh
script:
  - make -e all
  - make -e check

notifications:
  email: false
Include extras on Travis CI
TEST: Include extras on Travis CI

Currently, the only extra tool that is fetched and built during
`./get-extra-deps.sh && ./build-deps.sh` is Spin.
