dockerfile: add ARG IMAGE, use three stages

1 files changed, 27 insertions, 13 deletions

diff --git a/Dockerfile b/Dockerfile
index 2e0eba98c..d21f6dc5b 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -1,8 +1,24 @@
-FROM ubuntu:18.04 as builder
-LABEL author="Abdelrahman Hosny <abdelrahman.hosny@hotmail.com>"
+ARG IMAGE="ubuntu:18.04"
+
+#---
+
+FROM $IMAGE AS base
+
 RUN apt-get update -qq \
  && DEBIAN_FRONTEND=noninteractive apt-get -y install --no-install-recommends \
     ca-certificates \
+    libreadline-dev \
+    tcl-dev \
+ && apt-get autoclean && apt-get clean && apt-get -y autoremove \
+ && update-ca-certificates \
+ && rm -rf /var/lib/apt/lists
+
+#---
+
+FROM base AS build
+
+RUN apt-get update -qq \
+ && DEBIAN_FRONTEND=noninteractive apt-get -y install --no-install-recommends \
     clang \
     bison \
     build-essential \
@@ -10,28 +26,26 @@ RUN apt-get update -qq \
     gawk \
     git \
     libffi-dev \
-    libreadline-dev \
     pkg-config \
     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 \
  && mkdir dist && cp yosys yosys-abc yosys-config yosys-filterlib yosys-smtbmc dist/
 
-FROM ubuntu:18.04
-RUN apt-get update -qq \
- && DEBIAN_FRONTEND=noninteractive apt-get -y install --no-install-recommends \
-    libreadline-dev \
-    tcl-dev
+#---
+
+FROM base
 
-COPY --from=builder /dist /build
+COPY --from=build /dist /opt/yosys
+
+ENV PATH /opt/yosys:$PATH
 
-ENV PATH /build:$PATH
 RUN useradd -m yosys
 USER yosys
-ENTRYPOINT ["yosys"]
+
+CMD ["yosys"]