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