diff --git a/docker/Dockerfile b/docker/Dockerfile index 6c5f130bb..748ef4b30 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 \