From 241ea2c780dd72de44d1de4ff71f94c3e0f6583f Mon Sep 17 00:00:00 2001 From: Jules Villard Date: Tue, 26 Jul 2016 03:53:52 -0700 Subject: [PATCH] fixes for v0.9.0 Summary: - add g++ to `apt-get install` - leave opam setup to `./build-infer.sh` now that it does it for us closes #399 Reviewed By: jberdine Differential Revision: D3613222 fbshipit-source-id: ea8ddf7 --- docker/Dockerfile | 9 +-------- 1 file changed, 1 insertion(+), 8 deletions(-) diff --git a/docker/Dockerfile b/docker/Dockerfile index 4d47d7e4c..778686a1c 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -15,6 +15,7 @@ RUN apt-get update && \ autoconf \ curl \ gcc \ + g++ \ git \ groff \ libc6-dev \ @@ -51,16 +52,8 @@ RUN INFER_VERSION=v0.9.0; \ rm -f /infer && \ ln -s ${PWD}/infer-linux64-$INFER_VERSION /infer -# Install opam dependencies -RUN cd /infer && \ - eval $(opam config env) && \ - opam update && \ - opam pin add --yes --no-action infer . && \ - opam install --deps-only infer - # Compile Infer RUN cd /infer && \ - eval $(opam config env) && \ ./build-infer.sh # Install Infer