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
master
Jules Villard 8 years ago committed by Facebook Github Bot 0
parent 76764c148a
commit 241ea2c780

@ -15,6 +15,7 @@ RUN apt-get update && \
autoconf \ autoconf \
curl \ curl \
gcc \ gcc \
g++ \
git \ git \
groff \ groff \
libc6-dev \ libc6-dev \
@ -51,16 +52,8 @@ RUN INFER_VERSION=v0.9.0; \
rm -f /infer && \ rm -f /infer && \
ln -s ${PWD}/infer-linux64-$INFER_VERSION /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 # Compile Infer
RUN cd /infer && \ RUN cd /infer && \
eval $(opam config env) && \
./build-infer.sh ./build-infer.sh
# Install Infer # Install Infer

Loading…
Cancel
Save