.travis.yml

---
addons:
  apt:
    packages:
      - aspcud
      - opam
      - libffi-dev
    sources:
      - avsm

before_cache:
  - rm -rf ~/.opam/log/

cache:
  directories:
    - $HOME/.opam
env:
  - OCAML_VERSION=4.05.0 COQ_VERSION=8.8.0 OPAMYES=yes OCB_VERSION=0.12.0

before_install:
  - if [[ $TRAVIS_OS_NAME == 'osx' ]];
    then
      brew update;
      brew install libffi;
      (brew outdated "pkg-config" || brew upgrade "pkg-config");
      brew install opam;
      export PKG_CONFIG_PATH=/usr/local/opt/libffi/lib/pkgconfig:$PKG_CONFIG_PATH;
    fi

install:
  - opam init -n --comp $OCAML_VERSION; opam update
  - opam install ocamlbuild.$OCB_VERSION
  - travis_wait opam install coq.$COQ_VERSION
  - eval $(opam config env)
  - ./configure.sh
  - cd libhsem
  - ./configure.sh

language: c

script:
  - cd "$TRAVIS_BUILD_DIR"
  - make
  - cd libhsem
  - make
  - make test

os:
  - linux
  - osx