Fix ci/setup.sh script

MarioOpenHWGroup · Feb 27, 2024 · 5529282 · 5529282
1 parent f33ccd4
commit 5529282
Showing 1 changed file with 10 additions and 2 deletions.
diff --git a/ci/setup.sh b/ci/setup.sh
@@ -15,5 +15,13 @@ ci/make-tmp.sh
 bash ci/install-toolchain.sh
 
 source verif/sim/setup-env.sh
-bash verif/regress/install-verilator.sh && make -C tools/verilator-v5.018/verilator/ clean
-bash verif/regress/install-spike.sh && make -C ${SPIKE_SRC_DIR}/build clean
+
+bash verif/regress/install-verilator.sh
+if [ -d tools/verilator-v5.018/verilator/ ]; then
+    make -C tools/verilator-v5.018/verilator/ clean
+fi
+
+bash verif/regress/install-spike.sh
+if [ -d ${SPIKE_SRC_DIR}/build/ ]; then
+    make -C ${SPIKE_SRC_DIR}/build clean
+fi