From 4d708befd19400c835ba6527c68cdfc51e8e7f6e Mon Sep 17 00:00:00 2001
From: Amar Paul <amar.paul16@gmail.com>
Date: Wed, 6 Nov 2019 02:05:11 -0800
Subject: [PATCH] [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
---
 .travis.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.travis.yml b/.travis.yml
index f6e21a952..e7443ae74 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -7,6 +7,8 @@ cache:
     - ${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}