mirror of
https://github.com/github/semantic.git
synced 2024-12-27 00:44:57 +03:00
598230738c
* 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.
21 lines
507 B
Docker
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"]
|