GitHub ci: install verilator in setup.sh

openhwgroup · Jan 3, 2024 · 8112027 · 8112027
1 parent 490df39
commit 8112027
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ci/setup.sh b/ci/setup.sh
@@ -26,5 +26,5 @@ tar -x -f $RISCV64_UNKNOWN_ELF_GCC --strip-components=1 -C $RISCV
 
 sudo apt install libfl-dev help2man
 
-(source verif/sim/setup-env.sh; bash verif/regress/install-spike.sh)
+(source verif/sim/setup-env.sh; bash verif/regress/install-verilator.sh; bash verif/regress/install-spike.sh)
 ci/build-riscv-tests.sh