From: 1138-4EB <1138-4EB@users.noreply.github.com>
Date: Mon, 1 Jul 2019 11:24:28 +0000 (+0200)
Subject: dockerfile: reduce number of COPY layers
X-Git-Tag: working-ls180~1148^2~3
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=34635116014dc178cc7608bc8e1804b294e1a21f;p=yosys.git

dockerfile: reduce number of COPY layers
---

diff --git a/Dockerfile b/Dockerfile
index 65f7d9dbc..2e0eba98c 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -19,8 +19,9 @@ RUN apt-get update -qq \
  && rm -rf /var/lib/apt/lists
 
 COPY . /
-RUN make && \
-    make install
+RUN make \
+ && make install \
+ && mkdir dist && cp yosys yosys-abc yosys-config yosys-filterlib yosys-smtbmc dist/
 
 FROM ubuntu:18.04
 RUN apt-get update -qq \
@@ -28,11 +29,7 @@ RUN apt-get update -qq \
     libreadline-dev \
     tcl-dev
 
-COPY --from=builder /yosys /build/yosys
-COPY --from=builder /yosys-abc /build/yosys-abc
-COPY --from=builder /yosys-config /build/yosys-config
-COPY --from=builder /yosys-filterlib /build/yosys-filterlib
-COPY --from=builder /yosys-smtbmc /build/yosys-smtbmc
+COPY --from=builder /dist /build
 
 ENV PATH /build:$PATH
 RUN useradd -m yosys