From d48c3f644a558c2173b92928c85fc8f8635894dc Mon Sep 17 00:00:00 2001
From: Amar Paul <amar.paul16@gmail.com>
Date: Tue, 10 Mar 2020 11:32:28 -0700
Subject: [PATCH] [infer][PR] use apt addon in Travis

Summary:
clean up dependencies by using apt addon rather than `sudo apt`. This should make it easier to re-add osx support later.
Pull Request resolved: https://github.com/facebook/infer/pull/1235

Differential Revision: D20368920

Pulled By: jvillard

fbshipit-source-id: 456e8af6c
---
 .travis.yml | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index 1956f8fe6..29d40bbc2 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -1,15 +1,17 @@
 language: c
-sudo: required
 env:
   - OCAML_VERSION=4.08.1
 cache:
   directories:
     - ${HOME}/.opam
     - facebook-clang-plugins
+addons:
+  apt:
+    packages:
+    - libmpfr-dev
 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
+  - if [ "$TRAVIS_OS_NAME" = "osx" ]; then ARCH="darwin"; else ARCH="linux"; fi
+  - wget -O ${HOME}/opam https://github.com/ocaml/opam/releases/download/2.0.3/opam-2.0.3-x86_64-${ARCH}
   - chmod +x ${HOME}/opam
   - export PATH=${HOME}:${PATH}
   - export OPAMYES=1