From: 1138-4EB <1138-4EB@users.noreply.github.com>
Date: Mon, 1 Jul 2019 12:50:15 +0000 (+0200)
Subject: dockerfile: add ARG IMAGE, use three stages
X-Git-Tag: working-ls180~1148^2~2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5e2919de026aab163f05e2b9440a3bf3563ac4fc;p=yosys.git

dockerfile: add ARG IMAGE, use three stages
---

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"]