1
1
mirror of https://github.com/github/semantic.git synced 2024-11-27 12:57:49 +03:00

Edits from tclem

This commit is contained in:
Douglas Creager 2019-06-05 13:22:45 -04:00
parent c46ed1dc87
commit 4f947565ac

View File

@ -5,10 +5,10 @@ RUN cabal new-update
# Build our upstream dependencies after copying in only enough to tell cabal
# what they are. This will make these layers cache better even as we change the
# code of semantic itself.
COPY semantic.cabal /build/
COPY cabal.project /build/
COPY semantic-core/semantic-core.cabal /build/semantic-core/
COPY vendor /build/vendor
COPY semantic.cabal .
COPY cabal.project .
COPY semantic-core/semantic-core.cabal ./semantic-core/
COPY vendor ./vendor
RUN cabal new-build --only-dependencies
# Once the dependencies are built, copy in the rest of the code and compile
@ -21,7 +21,8 @@ RUN cp $(find dist-newstyle -name semantic -type f -perm -u=x) /usr/local/bin/se
# Create a fresh image containing only the compiled CLI program, so that the
# image isn't bulked up by all of the extra build state.
FROM debian:stretch
FROM debian:stretch-slim
RUN apt-get update && \
apt-get install -y \
libgmp10 \
@ -29,5 +30,7 @@ RUN apt-get update && \
apt-get autoremove -y && \
apt-get clean -y && \
rm -rf /var/lib/apt/lists/*
COPY --from=build /usr/local/bin/semantic /usr/local/bin/semantic
ENTRYPOINT ["/usr/local/bin/semantic"]