dockerfile: reduce number of COPY layers

diff --git a/Dockerfile b/Dockerfile
index 65f7d9dbc0aaa54fbb3cb3f7265f9fd54d11fb3e..2e0eba98cff96d74fa49517f3334ec3eacaafb6d 100644 (file)
--- 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