File tree Expand file tree Collapse file tree 2 files changed +19
-0
lines changed
Expand file tree Collapse file tree 2 files changed +19
-0
lines changed Original file line number Diff line number Diff line change @@ -9,6 +9,7 @@ RUN apt update -qq \
99 ca-certificates \
1010 git \
1111 python3 \
12+ wget \
1213 zlib1g-dev \
1314 # vhd2vl
1415 flex \
@@ -18,6 +19,8 @@ RUN apt update -qq \
1819 cmake \
1920 default-jre \
2021 python3-orderedmultidict \
22+ # Verible
23+ bazel \
2124 && apt autoclean && apt clean && apt -y autoremove \
2225 && rm -rf /var/lib/apt/lists/*
2326
@@ -45,6 +48,21 @@ RUN git clone --depth 1 https://github.com/alainmarcel/Surelog.git \
4548 && cd Surelog && git submodule update --init --recursive \
4649 && make -j$(nproc) && make install
4750
51+ #
52+ # sv2v
53+ #
54+
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
59+
60+ #
61+ # Verible
62+ #
63+
64+
65+
4866###############################################################################
4967
5068## slang
Original file line number Diff line number Diff line change 44bash ../run.sh langutils ' vhd2vl --version'
55bash ../run.sh langutils ' slang --version'
66bash ../run.sh langutils ' surelog --version'
7+ bash ../run.sh langutils ' sv2v --version'
You can’t perform that action at this time.
0 commit comments