Remove independent dockerfiles already included by synthesis and simulation

Author: rodrigomelo9

dockerfiles/Dockerfile.ghdl

@@ -10,14 +10,6 @@ RUN apt-get install -y --no-install-recommends \
     ca-certificates \
     git
 
-RUN apt-get install -y --no-install-recommends \
-    cargo \
-    cmake \
-    curl \
-    default-jre \
-    python3 \
-    python3-orderedmultidict
-
 #
 # vhd2vl (https://github.com/ldoolitt/vhd2vl)
 #
@@ -104,10 +96,11 @@ RUN apt-get install -y --no-install-recommends \
 RUN cargo install --root /usr/local --git https://github.com/dalance/svlint.git svlint
 
 #
-# clean-up
+# Optimization
 #
 
-RUN rm -f /usr/local/bin/stack /usr/local/bin/bazel
+RUN strip /usr/local/bin/* 2>/dev/null || true
+RUN find /usr/local/lib -name "*.so*" -exec strip --strip-unneeded {} + 2>/dev/null || true
 
 #------------------------------------------------------------------------------
 

dockerfiles/Dockerfile.iverilog

@@ -5,44 +5,52 @@ WORKDIR /tmp
 ENV DEBIAN_FRONTEND=noninteractive
 
 RUN apt-get update -qq
+
 RUN apt-get install -y --no-install-recommends \
     ca-certificates \
     git
+
+#
+# GHDL (https://github.com/ghdl/ghdl)
+#
+
 RUN apt-get install -y --no-install-recommends \
-    autoconf \
-    bison \
     build-essential \
-    flex \
     gnat \
-    gperf \
-    help2man \
-    libfl-dev \
-    python3 \
-    python3-dev \
-    python3-pip \
-    python3-venv \
     zlib1g-dev
 
-#
-# ghdl
-#
-
 RUN git clone --depth 1 https://github.com/ghdl/ghdl
 RUN mkdir ghdl/build && cd ghdl/build && ../configure --prefix=/usr/local \
  && make -j$(nproc) && make install
 
 #
-# iVerilog
+# iVerilog (https://github.com/steveicarus/iverilog)
 #
 
+RUN apt-get install -y --no-install-recommends \
+    autoconf \
+    bison \
+    build-essential \
+    flex \
+    gperf
+
 RUN git clone --depth 1 https://github.com/steveicarus/iverilog
 RUN cd iverilog && autoconf && ./configure \
  && make -j$(nproc) && make install
 
 #
-# Verilator
+# Verilator (https://github.com/verilator/verilator)
 #
 
+RUN apt-get install -y --no-install-recommends \
+    autoconf \
+    bison \
+    build-essential \
+    flex \
+    help2man \
+    libfl-dev \
+    python3
+
 RUN git clone --depth 1 https://github.com/verilator/verilator
 RUN cd verilator && autoconf && ./configure \
  && make -j$(nproc) && make install
@@ -51,7 +59,11 @@ RUN cd verilator && autoconf && ./configure \
 # cocotb
 #
 
-# RUN pip install cocotb --break-system-packages
+RUN apt-get install -y --no-install-recommends \
+    python3 \
+    python3-dev \
+    python3-pip \
+    python3-venv
 
 RUN python3 -m venv /opt/venv && /opt/venv/bin/pip install --no-cache-dir cocotb
 

dockerfiles/Dockerfile.langutils

@@ -5,35 +5,35 @@ WORKDIR /tmp
 ENV DEBIAN_FRONTEND=noninteractive
 
 RUN apt-get update -qq
+
 RUN apt-get install -y --no-install-recommends \
     ca-certificates \
     git
+
+#
+# GHDL (https://github.com/ghdl/ghdl)
+#
+
 RUN apt-get install -y --no-install-recommends \
-    bison \
     build-essential \
-    cmake \
-    default-jre \
-    flex \
     gnat \
-    libffi-dev \
-    libreadline-dev \
-    pkg-config \
-    python3-orderedmultidict \
-    tcl-dev \
     zlib1g-dev
 
-#
-# GHDL
-#
-
 RUN git clone --depth 1 https://github.com/ghdl/ghdl
 RUN mkdir ghdl/build && cd ghdl/build && ../configure --prefix=/usr/local \
  && make -j$(nproc) && make install
 
 #
-# Yosys
+# Yosys (https://github.com/yosyshq/yosys)
 #
 
+RUN apt-get install -y --no-install-recommends \
+    bison \
+    build-essential \
+    cmake \
+    flex \
+    python3
+
 RUN git clone --depth 1 https://github.com/YosysHQ/yosys
 RUN cd yosys && git submodule update --init --depth 1 \
  && cmake -B build . -DCMAKE_BUILD_TYPE=Release \
@@ -49,9 +49,22 @@ RUN cd ghdl-yosys-plugin && git submodule update --init --depth 1 \
  && make -j$(nproc) && make install
 
 #
-# Synlig
+# Synlig (https://github.com/chipsalliance/synlig)
 #
 
+RUN apt-get install -y --no-install-recommends \
+    bison \
+    build-essential \
+    cmake \
+    default-jre \
+    flex \
+    libffi-dev \
+    libreadline-dev \
+    pkg-config \
+    python3 \
+    python3-orderedmultidict \
+    tcl-dev
+
 RUN git clone --depth 1 https://github.com/chipsalliance/synlig
 RUN cd synlig \
  && git submodule update --init --depth 1 --recursive third_party/surelog \