ci: Use last known working version of Verilator for Microwatt (Thanks @trabucayre).

This commit is contained in:
Florent Kermarrec 2023-06-27 14:32:20 +02:00
parent 7a7c74faa9
commit 2cdc4fb0ab
1 changed files with 1 additions and 0 deletions

View File

@ -54,6 +54,7 @@ jobs:
export PATH="/usr/lib/ccache:/usr/local/opt/ccache/libexec:$PATH" export PATH="/usr/lib/ccache:/usr/local/opt/ccache/libexec:$PATH"
git clone https://github.com/verilator/verilator git clone https://github.com/verilator/verilator
cd verilator cd verilator
git checkout 7d2d32420a630befa4097170ecbf227e04e32522
autoconf autoconf
./configure ./configure
make -j$(nproc) make -j$(nproc)