@@ -5,48 +5,61 @@ WORKDIR /tmp
55ENV DEBIAN_FRONTEND=noninteractive
66
77RUN apt-get update -qq
8+
89RUN apt-get install -y --no-install-recommends \
910 ca-certificates \
1011 git
11- RUN apt-get install -y --no-install-recommends \
12- bison \
13- build-essential \
14- cargo \
15- cmake \
16- curl \
17- default-jre \
18- flex \
19- python3 \
20- python3-orderedmultidict
2112
2213#
23- # vhd2vl
14+ # vhd2vl (https://github.com/ldoolitt/vhd2vl)
2415#
2516
17+ RUN apt-get install -y --no-install-recommends \
18+ bison \
19+ build-essential \
20+ flex
21+
2622RUN git clone --depth 1 https://github.com/ldoolitt/vhd2vl
2723RUN cd vhd2vl && make -j$(nproc) && make install
2824
2925#
30- # sv2v
26+ # sv2v (https://github.com/zachjs/sv2v)
3127#
3228
29+ RUN apt-get install -y --no-install-recommends \
30+ curl
31+
3332RUN curl -sSL https://get.haskellstack.org/ | sh
3433
3534RUN git clone --depth 1 https://github.com/zachjs/sv2v.git
3635RUN cd sv2v && make -j$(nproc) && cp bin/sv2v /usr/local/bin
3736
37+ RUN rm -f /usr/local/bin/stack
38+
3839#
39- # Slang
40+ # Slang (https://github.com/MikePopoloski/slang)
4041#
4142
43+ RUN apt-get install -y --no-install-recommends \
44+ build-essential \
45+ cmake \
46+ python3
47+
4248RUN git clone --depth 1 https://github.com/MikePopoloski/slang.git
4349RUN cd slang && cmake -B build && cmake --build build -j$(nproc) \
4450 && cmake --install build --strip
4551
4652#
47- # Surelog
53+ # Surelog (https://github.com/chipsalliance/Surelog)
4854#
4955
56+ RUN apt-get install -y --no-install-recommends \
57+ build-essential \
58+ cmake \
59+ default-jre \
60+ python3 \
61+ python3-orderedmultidict
62+
5063RUN git clone --depth 1 https://github.com/alainmarcel/Surelog.git
5164RUN cd Surelog && git submodule update --init --depth 1 --recursive \
5265 && cmake -B build \
@@ -57,27 +70,37 @@ RUN cd Surelog && git submodule update --init --depth 1 --recursive \
5770 && cmake --install build --strip
5871
5972#
60- # Verible
73+ # Verible (https://github.com/chipsalliance/verible)
6174#
6275
76+ RUN apt-get install -y --no-install-recommends \
77+ build-essential \
78+ curl
79+
6380RUN curl -fsSL https://github.com/bazelbuild/bazelisk/releases/latest/download/bazelisk-linux-amd64 \
6481 -o /usr/local/bin/bazel && chmod +x /usr/local/bin/bazel
6582
6683RUN git clone --depth 1 https://github.com/chipsalliance/verible.git
6784RUN cd verible && bazel build -c opt :install-binaries \
6885 && .github/bin/simple-install.sh /usr/local/bin
6986
87+ RUN rm -f /usr/local/bin/bazel
88+
7089#
71- # svlint
90+ # svlint (https://github.com/dalance/svlint)
7291#
7392
93+ RUN apt-get install -y --no-install-recommends \
94+ cargo
95+
7496RUN cargo install --root /usr/local --git https://github.com/dalance/svlint.git svlint
7597
7698#
77- # clean-up
99+ # Optimization
78100#
79101
80- RUN rm -f /usr/local/bin/stack /usr/local/bin/bazel
102+ RUN strip /usr/local/bin/* 2>/dev/null || true
103+ RUN find /usr/local/lib -name "*.so*" -exec strip --strip-unneeded {} + 2>/dev/null || true
81104
82105#------------------------------------------------------------------------------
83106
0 commit comments