You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Could you try checking out the submodules first using git submodule update --initbefore building the Docker image using docker build, does that fix your build problem?
make: Entering directory '/home/riscv-vp/riscv-vp'
git submodule update --init vp/src/core/common/gdb-mc/libgdb/mpc
fatal: not a git repository (or any of the parent directories): .git
make: *** [Makefile:24: vp/src/core/common/gdb-mc/libgdb/mpc/mpc.c] Error 128
The text was updated successfully, but these errors were encountered: