diff options
| author | 1138-4EB <1138-4EB@users.noreply.github.com> | 2019-07-01 13:24:28 +0200 |
|---|---|---|
| committer | 1138-4EB <1138-4EB@users.noreply.github.com> | 2019-08-07 05:38:01 +0200 |
| commit | 34635116014dc178cc7608bc8e1804b294e1a21f (patch) | |
| tree | ada04049fc74cd6baeb5ebd50f039eb7d2781463 /Dockerfile | |
| parent | 1f801993e3de7face79882cb10e7a4cb5ccaf985 (diff) | |
| download | yosys-34635116014dc178cc7608bc8e1804b294e1a21f.tar.gz yosys-34635116014dc178cc7608bc8e1804b294e1a21f.tar.bz2 yosys-34635116014dc178cc7608bc8e1804b294e1a21f.zip | |
dockerfile: reduce number of COPY layers
Diffstat (limited to 'Dockerfile')
| -rw-r--r-- | Dockerfile | 11 |
1 files 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 |