1
1
mirror of https://github.com/github/semantic.git synced 2024-12-24 15:35:14 +03:00
semantic/Dockerfile.release
Greg Orzell 598230738c Add a means of building an executable docker container.
* Ignore all of the very large workspace files when building the docker
image.
* Build an executable docker image using a downloaded release.
* Update documentation showing how to build and use the docker image.
2018-03-16 13:04:08 +01:00

21 lines
507 B
Docker

FROM debian:stable-slim
ARG SEMANTIC_HASH=d96ce9c4be2b8208a26fd9d0974723340fd9ac65
# Install dependencies
RUN apt-get update && \
apt-get install -y curl libgmp10
# Install Semantic
RUN curl -L https://github-janky-artifacts.s3.amazonaws.com/semantic-diff-linux/$SEMANTIC_HASH | tar -C /usr/local/bin -xzf -
# Cleanup
RUN apt-get remove -y curl && \
apt-get autoremove -y && \
apt-get clean -y && \
rm -rf /var/lib/apt/lists/*
WORKDIR /workspace
ENTRYPOINT ["/usr/local/bin/semantic"]