You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
28 lines
722 B
28 lines
722 B
FROM debian:bullseye-slim
|
|
|
|
LABEL maintainer "Infer team"
|
|
|
|
# mkdir the man/man1 directory due to Debian bug #863199
|
|
RUN apt-get update && \
|
|
mkdir -p /usr/share/man/man1 && \
|
|
apt-get install --yes --no-install-recommends \
|
|
curl \
|
|
libc6-dev \
|
|
openjdk-11-jdk-headless \
|
|
sqlite3 \
|
|
xz-utils \
|
|
zlib1g-dev && \
|
|
rm -rf /var/lib/apt/lists/*
|
|
|
|
# Download the Infer release
|
|
RUN INFER_VERSION=v1.1.0; \
|
|
cd /opt && \
|
|
curl -sL \
|
|
https://github.com/facebook/infer/releases/download/${INFER_VERSION}/infer-linux64-${INFER_VERSION}.tar.xz | \
|
|
tar xJ && \
|
|
rm -f /infer && \
|
|
ln -s ${PWD}/infer-linux64-$INFER_VERSION /infer
|
|
|
|
# Install infer
|
|
ENV PATH /infer/bin:${PATH}
|