sudo: false

os:
  - linux
#  - osx  # test-cli.sh fails during echo "SYS: x;\nSYSGOAL:<>x;" | gr1c rg

addons:
  apt:
    packages:
    - graphviz

language: c
compiler:
  - gcc
  - clang

before_install:
  - if [[ $TRAVIS_OS_NAME == "osx" ]]; then
        brew update;
        brew install graphviz;
    fi
  - bison --version
  - flex --version

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

notifications:
  email: false
sudo: false

os:
  - linux
  - osx

addons:
  apt:
    packages:
    - graphviz

language: c
compiler:
  - gcc
  - clang

before_install:
  - if [[ $TRAVIS_OS_NAME == "osx" ]]; then
        brew update;
        brew install graphviz;
    fi
  - bison --version
  - flex --version

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

notifications:
  email: false
Revert "TEST: Temporarily disable MacOS jobs on Travis CI"
Revert "TEST: Temporarily disable MacOS jobs on Travis CI"

This reverts commit 0ec720cb00d4b63abe0aa20c52adef658aff690a.
