diff --git a/info.json b/info.json new file mode 100644 index 000000000..a3406e301 --- /dev/null +++ b/info.json @@ -0,0 +1,15 @@ +{ + "_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" +} diff --git a/pull-request.patch b/pull-request.patch new file mode 100644 index 000000000..53f0b719c --- /dev/null +++ b/pull-request.patch @@ -0,0 +1,21 @@ +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 \