@@ -2,12 +2,18 @@ FROM ubuntu:latest AS build
22
33WORKDIR /root
44
5+ #
6+ # Dependencies
7+ #
8+
59RUN apt update -qq \
610 && DEBIAN_FRONTEND=noninteractive apt install -y --no-install-recommends \
711 # Common
812 build-essential \
913 ca-certificates \
14+ curl \
1015 git \
16+ gnupg \
1117 python3 \
1218 wget \
1319 zlib1g-dev \
@@ -19,7 +25,12 @@ RUN apt update -qq \
1925 cmake \
2026 default-jre \
2127 python3-orderedmultidict \
22- # Verible
28+ && curl -sSL https://get.haskellstack.org/ | sh \
29+ && curl -fsSL https://bazel.build/bazel-release.pub.gpg | gpg --dearmor -o /usr/share/keyrings/bazel-archive-keyring.gpg \
30+ && echo "deb [signed-by=/usr/share/keyrings/bazel-archive-keyring.gpg] \
31+ https://storage.googleapis.com/bazel-apt stable jdk1.8" | tee /etc/apt/sources.list.d/bazel.list \
32+ && apt update -qq \
33+ && DEBIAN_FRONTEND=noninteractive apt install -y --no-install-recommends \
2334 bazel \
2435 && apt autoclean && apt clean && apt -y autoremove \
2536 && rm -rf /var/lib/apt/lists/*
@@ -52,16 +63,16 @@ RUN git clone --depth 1 https://github.com/alainmarcel/Surelog.git \
5263# sv2v
5364#
5465
55- RUN wget -qO- https://get.haskellstack.org/ | sh \
56- && git clone --depth 1 https://github.com/zachjs/sv2v.git \
57- && cd sv2v && make -j$(nproc) \
58- && cp bin/sv2v /usr/local/bin
66+ RUN git clone --depth 1 https://github.com/zachjs/sv2v.git \
67+ && cd sv2v && make -j$(nproc) && cp bin/sv2v /usr/local/bin
5968
6069#
6170# Verible
6271#
6372
64-
73+ RUN git clone --depth 1 https://github.com/chipsalliance/verible.git \
74+ && cd verible && bazel build -c opt //... \
75+ && bazel run -c opt :install -- /usr/local/bin
6576
6677###############################################################################
6778
@@ -108,3 +119,19 @@ RUN wget -qO- https://get.haskellstack.org/ | sh \
108119#/usr/local/include/Surelog
109120#/usr/local/lib/cmake/Surelog
110121#/usr/local/lib/pkgconfig/Surelog.pc
122+
123+ ## Verible
124+ #/usr/local/bin/git-verible-verilog-format.sh
125+ #/usr/local/bin/verible-patch-tool
126+ #/usr/local/bin/verible-transform-interactive.sh
127+ #/usr/local/bin/verible-verilog-diff
128+ #/usr/local/bin/verible-verilog-format
129+ #/usr/local/bin/verible-verilog-format-changed-lines-interactive.sh
130+ #/usr/local/bin/verible-verilog-kythe-extractor
131+ #/usr/local/bin/verible-verilog-kythe-kzip-writer
132+ #/usr/local/bin/verible-verilog-lint
133+ #/usr/local/bin/verible-verilog-ls
134+ #/usr/local/bin/verible-verilog-obfuscate
135+ #/usr/local/bin/verible-verilog-preprocessor
136+ #/usr/local/bin/verible-verilog-project
137+ #/usr/local/bin/verible-verilog-syntax
0 commit comments