Skip to content

Commit

Permalink
update dockerfile to jammy, fix bazel, verilator, and verible install
Browse files Browse the repository at this point in the history
  • Loading branch information
bensampson5 committed May 26, 2024
1 parent 989a51a commit e7bafbe
Showing 1 changed file with 10 additions and 9 deletions.
19 changes: 10 additions & 9 deletions Dockerfile
Original file line number Diff line number Diff line change
@@ -1,11 +1,12 @@
FROM ubuntu:20.04
FROM ubuntu:jammy

WORKDIR /tmp

# Baseline apt-get installs
ARG DEBIAN_FRONTEND=noninteractive
RUN apt-get update \
&& apt-get install --no-install-recommends -y \
apt-transport-https \
autoconf \
bc \
bison \
Expand All @@ -16,6 +17,7 @@ RUN apt-get update \
g++ \
git \
gnupg \
help2man \
libfl2 \
libfl-dev \
libgoogle-perftools-dev \
Expand All @@ -26,21 +28,20 @@ RUN apt-get update \
python3-dev \
python3-pip \
wget \
zlibc \
zlib1g \
zlib1g-dev \
&& apt-get clean \
&& rm -rf /var/lib/apt/lists/*

# Add Bazel distribution URI as a package source
RUN curl -fsSL https://bazel.build/bazel-release.pub.gpg | gpg --dearmor > bazel.gpg \
&& mv bazel.gpg /etc/apt/trusted.gpg.d/ \
&& echo "deb [arch=amd64] https://storage.googleapis.com/bazel-apt stable jdk1.8" | tee /etc/apt/sources.list.d/bazel.list
RUN curl -fsSL https://bazel.build/bazel-release.pub.gpg | gpg --dearmor >bazel-archive-keyring.gpg \
&& mv bazel-archive-keyring.gpg /usr/share/keyrings \
&& echo "deb [arch=amd64 signed-by=/usr/share/keyrings/bazel-archive-keyring.gpg] https://storage.googleapis.com/bazel-apt stable jdk1.8" | tee /etc/apt/sources.list.d/bazel.list

# Install Bazel
RUN apt-get update \
&& apt-get install --no-install-recommends -y \
bazel \
bazel \
&& apt-get clean \
&& rm -rf /var/lib/apt/lists/*

Expand All @@ -50,9 +51,9 @@ COPY poetry.lock pyproject.toml ./
RUN poetry config virtualenvs.create false
RUN poetry install -n --no-ansi

# Build and install Verilator v4.106 from source
# Build and install Verilator v5.024 from source
ARG REPO=https://github.com/verilator/verilator
ARG TAG=v4.106
ARG TAG=v5.024
RUN git clone --depth 1 --branch "${TAG}" "${REPO}" verilator \
&& cd verilator \
&& autoconf \
Expand All @@ -63,7 +64,7 @@ RUN git clone --depth 1 --branch "${TAG}" "${REPO}" verilator \
&& rm -rf verilator

# Install Verible
ARG VERIBLE_URL=https://github.com/chipsalliance/verible/releases/download/v0.0-1854-g0834c7f8/verible-v0.0-1854-g0834c7f8-Ubuntu-20.04-focal-x86_64.tar.gz
ARG VERIBLE_URL=https://github.com/chipsalliance/verible/releases/download/v0.0-3648-g5ef1624a/verible-v0.0-3648-g5ef1624a-linux-static-arm64.tar.gz
RUN wget ${VERIBLE_URL} -O verible.tar.gz \
&& mkdir verible \
&& tar -xf verible.tar.gz -C verible --strip-components=1 \
Expand Down

0 comments on commit e7bafbe

Please sign in to comment.