From 013b43dc2b2f9ef0e494f7d4ccbe101b9737c024 Mon Sep 17 00:00:00 2001
From: Jerry Zhao <jerryz123@berkeley.edu>
Date: Wed, 28 Sep 2022 11:32:34 -0700
Subject: [PATCH] Install espresso in build-toolchain-extra.sh

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

diff --git a/scripts/build-toolchain-extra.sh b/scripts/build-toolchain-extra.sh
index c8be3d97..1769f4db 100755
--- a/scripts/build-toolchain-extra.sh
+++ b/scripts/build-toolchain-extra.sh
@@ -102,6 +102,14 @@ CC= CXX= module_all riscv-pk --prefix="${RISCV}" --host=riscv${XLEN}-unknown-elf
 echo '==>  Installing RISC-V tests'
 module_all riscv-tests --prefix="${RISCV}/riscv${XLEN}-unknown-elf" --with-xlen=${XLEN}
 
+echo '==> Installing espresso logic minimizer'
+(
+    cd $RDIR
+    git submodule update --init --checkout generators/constellation
+    cd generators/constellation
+    scripts/install-espresso.sh $RISCV
+)   
+
 # Common tools (not in any particular toolchain dir)
 
 echo '==>  Installing libgloss'