Revert "[infer][PR] Dockerfile: add missing libffi build dependency"

Summary: Messed up the import...

Reviewed By: akotulski

Differential Revision: D4620114

fbshipit-source-id: 32bc06d

info.json

@@ -1,15 +0,0 @@
-{
-    "_README_WHAT_IS_THIS_DIFF_": "This diff is temporary, and will be replaced once the \"convert-pull-request-to-internal-diff\" sandcastle job finishes. For more details, see https:\/\/fburl.com\/pr-import-on-sandcastle",
-    "repository": {
-        "fbid": 788847014501904,
-        "name": "facebook\/infer"
-    },
-    "pull_request": {
-        "fbid": 352268038506620,
-        "number": 587,
-        "name": "Dockerfile: add missing libffi build dependency",
-        "author": "3flex",
-        "initiator": "jvillard"
-    },
-    "head_sha": "1bc647221616bbc45c938bbddbcd810493c9c0a4"
-}

pull-request.patch

@@ -1,21 +0,0 @@
-From 1bc647221616bbc45c938bbddbcd810493c9c0a4 Mon Sep 17 00:00:00 2001
-From: Matthew Haughton <3flex@users.noreply.github.com>
-Date: Thu, 23 Feb 2017 22:24:10 -0500
-Subject: [PATCH] Dockerfile: add missing libffi build dependency
-
----
- docker/Dockerfile | 1 +
- 1 file changed, 1 insertion(+)
-
-diff --git a/docker/Dockerfile b/docker/Dockerfile
-index 6c5f130..748ef4b 100644
---- a/docker/Dockerfile
-+++ b/docker/Dockerfile
-@@ -19,6 +19,7 @@ RUN apt-get update && \
-             git \
-             groff \
-             libc6-dev \
-+            libffi-dev \
-             libgmp-dev \
-             libmpc-dev \
-             libmpfr-dev \