Add opt_ffinv pass.

[yosys.git] / Dockerfile

diff --git a/Dockerfile b/Dockerfile
index 027514a3bbe52078fb6c58f8b1ab1ca971d107b8..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,15 +24,13 @@ 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