From d349ee29240fcf0cca615b8349653dc0282297e5 Mon Sep 17 00:00:00 2001 From: yannickreiss Date: Tue, 24 Jun 2025 10:03:37 +0200 Subject: [PATCH] Try installing verilator --- Dockerfile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Dockerfile b/Dockerfile index 3670337..e943119 100644 --- a/Dockerfile +++ b/Dockerfile @@ -5,13 +5,14 @@ FROM ubuntu:latest RUN apt update && apt upgrade -y # Preparations for base jobs -RUN apt install -y verilator wget unzip git +RUN apt install -y wget unzip git RUN apt install -y gcc g++ make clang cmake bison build-essential flex lld RUN apt install -y python3-full python3-tk python3-pip python3-venv RUN apt install -y yosys yosys-dev libeigen3-dev iverilog autoconf gperf RUN apt install -y libreadline-dev gawk tcl-dev libffi-dev help2man RUN apt install -y graphiz xdot pkg-config zlib1g-dev swig libelf-dev srecord RUN apt install -y libboost-system-dev libboost-all-dev libboost-python-dev libboost-filesystem-dev +RUN apt install -y verilator # Preparations for build jobs