From bcbe3b7f1f40d1c388aca68df498fd7dd4d16e89 Mon Sep 17 00:00:00 2001
From: Jerry Zhao <jerryz123@berkeley.edu>
Date: Sun, 5 Feb 2023 10:36:09 -0800
Subject: [PATCH] Init gemmini before installing libgemmini

---
 scripts/build-toolchain-extra.sh | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/scripts/build-toolchain-extra.sh b/scripts/build-toolchain-extra.sh
index f81ec135..54afe983 100755
--- a/scripts/build-toolchain-extra.sh
+++ b/scripts/build-toolchain-extra.sh
@@ -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