aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
author1138-4EB <1138-4EB@users.noreply.github.com>2019-07-01 13:21:16 +0200
committer1138-4EB <1138-4EB@users.noreply.github.com>2019-08-07 05:37:52 +0200
commit1f801993e3de7face79882cb10e7a4cb5ccaf985 (patch)
tree42805646d2acacb828a6a5fa77e1ec006a29f7de
parent8110fb9266e685aaea48359a5aebc4e5ac865240 (diff)
downloadyosys-1f801993e3de7face79882cb10e7a4cb5ccaf985.tar.gz
yosys-1f801993e3de7face79882cb10e7a4cb5ccaf985.tar.bz2
yosys-1f801993e3de7face79882cb10e7a4cb5ccaf985.zip
dockerfile: DEBIAN_FRONTEND should not be permanent
-rw-r--r--Dockerfile25
1 files changed, 16 insertions, 9 deletions
diff --git a/Dockerfile b/Dockerfile
index 3c7188d82..65f7d9dbc 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -1,25 +1,32 @@
FROM ubuntu:18.04 as builder
LABEL author="Abdelrahman Hosny <abdelrahman.hosny@hotmail.com>"
-ENV DEBIAN_FRONTEND=noninteractive
-RUN apt-get update && apt-get install -y build-essential \
+RUN apt-get update -qq \
+ && DEBIAN_FRONTEND=noninteractive apt-get -y install --no-install-recommends \
+ ca-certificates \
clang \
bison \
+ build-essential \
flex \
- libreadline-dev \
gawk \
- tcl-dev \
- libffi-dev \
git \
+ libffi-dev \
+ libreadline-dev \
pkg-config \
- python3 && \
- rm -rf /var/lib/apt/lists
+ python3 \
+ tcl-dev \
+ && apt-get autoclean && apt-get clean && apt-get -y autoremove \
+ && update-ca-certificates \
+ && rm -rf /var/lib/apt/lists
+
COPY . /
RUN make && \
make install
FROM ubuntu:18.04
-ENV DEBIAN_FRONTEND=noninteractive
-RUN apt-get update && apt-get install -y libreadline-dev tcl-dev
+RUN apt-get update -qq \
+ && DEBIAN_FRONTEND=noninteractive apt-get -y install --no-install-recommends \
+ libreadline-dev \
+ tcl-dev
COPY --from=builder /yosys /build/yosys
COPY --from=builder /yosys-abc /build/yosys-abc