From 607fdc88f18528951fe7bc1abb5f9fea7b5f2731 Mon Sep 17 00:00:00 2001
From: Jules Villard <jul@fb.com>
Date: Thu, 10 May 2018 05:49:19 -0700
Subject: [PATCH] [docker] upgrade Dockerfile to 0.14.0

Summary: New release is out.

Reviewed By: da319

Differential Revision: D7949864

fbshipit-source-id: 760b691
---
 docker/Dockerfile | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/docker/Dockerfile b/docker/Dockerfile
index 34bf1ca84..48341efe7 100644
--- a/docker/Dockerfile
+++ b/docker/Dockerfile
@@ -17,11 +17,12 @@ RUN apt-get update && \
       openjdk-8-jdk-headless \
       pkg-config \
       python2.7 \
+      libsqlite3-dev \
       zlib1g-dev && \
     rm -rf /var/lib/apt/lists/*
 
 # Download the latest Infer release
-RUN INFER_VERSION=v0.13.1; \
+RUN INFER_VERSION=v0.14.0; \
     cd /opt && \
     curl -sL \
       https://github.com/facebook/infer/releases/download/${INFER_VERSION}/infer-linux64-${INFER_VERSION}.tar.xz | \
@@ -30,7 +31,7 @@ RUN INFER_VERSION=v0.13.1; \
     ln -s ${PWD}/infer-linux64-$INFER_VERSION /infer
 
 # Compile Infer
-RUN OCAML_VERSION=4.05.0+flambda; \
+RUN OCAML_VERSION=4.06.1+flambda; \
     cd /infer && ./build-infer.sh --opam-switch $OCAML_VERSION && rm -rf /root/.opam
 
 # Install Infer