From 34635116014dc178cc7608bc8e1804b294e1a21f Mon Sep 17 00:00:00 2001
From: 1138-4EB <1138-4EB@users.noreply.github.com>
Date: Mon, 1 Jul 2019 13:24:28 +0200
Subject: [PATCH] dockerfile: reduce number of COPY layers

---
 Dockerfile | 11 ++++-------
 1 file changed, 4 insertions(+), 7 deletions(-)

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