Init gemmini before installing libgemmini
@@ -102,8 +102,12 @@ echo '==> Installing espresso logic minimizer'
echo '==> Installing libgloss'
CC= CXX= SRCDIR="$(pwd)/toolchains" module_all libgloss --prefix="${RISCV}/riscv${XLEN}-unknown-elf" --host=riscv${XLEN}-unknown-elf
+cd $RDIR
if [ $TOOLCHAIN == "riscv-tools" ]; then
echo '==> Installing gemmini spike extensions'
+ git submodule update --init generators/gemmini
+ cd generators/gemmini
+ git submodule update --init software/libgemmini
make -C $RDIR/generators/gemmini/software/libgemmini install
fi
