language: c
sudo: required
env:
  - OCAML_VERSION=4.07.1
cache:
  directories:
    - ${HOME}/.opam
    - facebook-clang-plugins
before_install:
  - wget -O ${HOME}/opam https://github.com/ocaml/opam/releases/download/2.0.3/opam-2.0.3-x86_64-linux
  - chmod +x ${HOME}/opam
  - export PATH=${HOME}:${PATH}
  - export OPAMYES=1
  - export OPAMJOBS=2
  - opam init --compiler=${OCAML_VERSION} --disable-sandboxing
  - eval $(opam env)
  - export OPAMVERBOSE=1
install:
  - opam update --upgrade
  - opam pin add --no-action infer .
  - opam depext --update infer
  - opam install --deps-only infer
script:
  - opam install infer
os:
- linux

language: c
sudo: required
env:
  - OCAML_VERSION=4.07.1
cache:
  directories:
    - ${HOME}/.opam
    - facebook-clang-plugins
before_install:
  - sudo apt-get update
  - sudo apt-get install -y libmpfr-dev
  - wget -O ${HOME}/opam https://github.com/ocaml/opam/releases/download/2.0.3/opam-2.0.3-x86_64-linux
  - chmod +x ${HOME}/opam
  - export PATH=${HOME}:${PATH}
  - export OPAMYES=1
  - export OPAMJOBS=2
  - opam init --compiler=${OCAML_VERSION} --disable-sandboxing
  - eval $(opam env)
  - export OPAMVERBOSE=1
install:
  - opam update --upgrade
  - opam pin add --no-action infer .
  - opam depext --update infer
  - opam install --deps-only infer
script:
  - opam install infer
os:
- linux

Add missing dependency in Travis
[infer][PR] Add missing dependency in Travis

Summary:
Adding dependencies via `apt` can fix the broken builds on master.

Should close https://github.com/facebook/infer/issues/1174, and close https://github.com/facebook/infer/issues/1125
Pull Request resolved: https://github.com/facebook/infer/pull/1179

Differential Revision: D18328499

Pulled By: artempyanykh

fbshipit-source-id: 64807214a
