fix: display correct CVA6 version

This commit is contained in:
Côme Allart 2023-07-24 13:54:15 +02:00
parent b5ab374695
commit 652d439308

View file

@ -77,11 +77,13 @@ echo $CVA6_PATCH
if ! [ -d core-v-cores/cva6 ]; then
git clone --recursive $CVA6_REPO -b $CVA6_BRANCH core-v-cores/cva6
git -C core-v-cores/cva6 checkout $CVA6_HASH
pushd core-v-cores/cva6
git checkout $CVA6_HASH
echo -n "Using CVA6 commit "; git describe --always HEAD
if [[ -n "$CVA6_PATCH" && -f "$CVA6_PATCH" ]]; then
git -C core-v-cores/cva6 apply "$CVA6_PATCH"
git apply "$CVA6_PATCH"
fi
popd
fi
# install Spike