More verbose warnings

[yosys.git] / Dockerfile

diff --git a/Dockerfile b/Dockerfile
index d21f6dc5bfb4ba216a0348ffb6f8a12d2c68b09d..549c73c97123252bd4ac5c69563865334fc59792 100644 (file)
--- a/Dockerfile
+++ b/Dockerfile
@@ -1,4 +1,4 @@
-ARG IMAGE="ubuntu:18.04"
+ARG IMAGE="python:3-slim-buster"
 
 #---
 
@@ -7,8 +7,13 @@ FROM $IMAGE AS base
 RUN apt-get update -qq \
  && DEBIAN_FRONTEND=noninteractive apt-get -y install --no-install-recommends \
     ca-certificates \
+    clang \
+    curl \
+    libffi-dev \
     libreadline-dev \
     tcl-dev \
+    graphviz \
+    xdot \
  && apt-get autoclean && apt-get clean && apt-get -y autoremove \
  && update-ca-certificates \
  && rm -rf /var/lib/apt/lists
@@ -19,31 +24,32 @@ FROM base AS build
 
 RUN apt-get update -qq \
  && DEBIAN_FRONTEND=noninteractive apt-get -y install --no-install-recommends \
-    clang \
     bison \
-    build-essential \
     flex \
     gawk \
+    gcc \
     git \
-    libffi-dev \
+    iverilog \
     pkg-config \
-    python3 \
  && apt-get autoclean && apt-get clean && apt-get -y autoremove \
  && rm -rf /var/lib/apt/lists
 
-COPY . /
+COPY . /yosys
+
+ENV PREFIX /opt/yosys
 
-RUN make \
+RUN cd /yosys \
+ && make \
  && make install \
- && mkdir dist && cp yosys yosys-abc yosys-config yosys-filterlib yosys-smtbmc dist/
+ && make test
 
 #---
 
 FROM base
 
-COPY --from=build /dist /opt/yosys
+COPY --from=build /opt/yosys /opt/yosys
 
-ENV PATH /opt/yosys:$PATH
+ENV PATH /opt/yosys/bin:$PATH
 
 RUN useradd -m yosys
 USER yosys