mirror of
https://github.com/verilator/verilator.git
synced 2026-10-06 01:54:01 +02:00
Stefan Wallentowitz
0abf88823f
* [docker] Remove versions from Docker files There is no dependency on an actual version, it was only there to silence the linter. Instead the linter is now set to not warn about it. Signed-off-by: Stefan Wallentowitz <[email protected]> * [docker] Update to Ubuntu 20.04 Update to new Ubuntu release: - Only GCC 9.3 available. Also add clang (10.0) now. - SystemC is now a package 🎉 Signed-off-by: Stefan Wallentowitz <[email protected]>
53 lines
1.6 KiB
Docker
53 lines
1.6 KiB
Docker
# DESCRIPTION: Dockerfile for env to build and fully test Verilator
|
|
#
|
|
# Copyright 2020 by Stefan Wallentowitz. This program is free software; you
|
|
# can redistribute it and/or modify it under the terms of either the GNU
|
|
# Lesser General Public License Version 3 or the Perl Artistic License
|
|
# Version 2.0.
|
|
# SPDX-License-Identifier: LGPL-3.0-only OR Artistic-2.0
|
|
|
|
FROM ubuntu:20.04
|
|
|
|
RUN apt-get update \
|
|
&& DEBIAN_FRONTEND=noninteractive \
|
|
apt-get install --no-install-recommends -y \
|
|
autoconf \
|
|
bc \
|
|
bison \
|
|
build-essential \
|
|
ca-certificates \
|
|
clang \
|
|
cmake \
|
|
flex \
|
|
gdb \
|
|
git \
|
|
gtkwave \
|
|
libfl2 \
|
|
libfl-dev \
|
|
libsystemc \
|
|
libsystemc-dev \
|
|
numactl \
|
|
perl \
|
|
python3 \
|
|
wget \
|
|
zlibc \
|
|
zlib1g \
|
|
zlib1g-dev \
|
|
&& apt-get clean \
|
|
&& rm -rf /var/lib/apt/lists/*
|
|
|
|
WORKDIR /tmp
|
|
|
|
RUN cpan install -fi Unix::Processors Parallel::Forker Bit::Vector
|
|
|
|
RUN git clone https://github.com/veripool/vcddiff.git && \
|
|
make -C vcddiff && \
|
|
cp -p vcddiff/vcddiff /usr/local/bin/vcddiff && \
|
|
rm -rf vcddiff
|
|
|
|
COPY build.sh /tmp/build.sh
|
|
|
|
ENV VERILATOR_AUTHOR_SITE=1
|
|
|
|
ENTRYPOINT [ "/tmp/build.sh" ]
|