.travis.yml

language: c
before_script: developers/travis/before_install.sh
script: poly < tools/smart-configure.sml && bin/build $BUILDOPTS -nograph
notifications:
  email:
    recipients:
      - hol-builds@lists.sourceforge.net
    on_success: always
    on_failure: always
  irc:
    channels:
      - "irc.freenode.net#hol"

addons:
  apt:
    sources:
    - ubuntu-toolchain-r-test
    packages:
    - ocaml
    - g++-4.8

env:
  global:
    - PATH=$PATH:$HOME/bin LD_LIBRARY_PATH=$HOME/lib
  matrix:
    - ROOTPOLY= BUILDOPTS=
    - ROOTPOLY= BUILDOPTS=-expk
    - ROOTPOLY= BUILDOPTS="-seq developers/travis/selftestseq -selftest"
    - ROOTPOLY= BUILDOPTS="-expk -seq developers/travis/selftestseq -selftest"
    - ROOTPOLY= BUILDOPTS="-seq developers/travis/more_examples_seq -selftest"
    - ROOTPOLY= BUILDOPTS="-expk -seq developers/travis/more_examples_seq -selftest"
    - ROOTPOLY= GITPOLY=1 BUILDOPTS="-seq developers/travis/selftestseq"

matrix:
  include:
    - os: osx
      env: ROOTPOLY= BUILDOPTS=
    - env: ROOTPOLY=1 BUILDOPTS="-seq developers/travis/selftestseq"
      sudo: true
  allow_failures:
    - os: osx