From 405ce4e6523bc1e264651030a02129b07328e680 Mon Sep 17 00:00:00 2001
From: David Harris <David_Harris@hmc.edu>
Date: Sun, 17 Nov 2024 07:12:32 -0800
Subject: [PATCH] Updated IMPERAS_HOME to reflect their distribution

---
 site-setup.csh | 2 +-
 site-setup.sh  | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/site-setup.csh b/site-setup.csh
index 867485a8d..63f1260be 100644
--- a/site-setup.csh
+++ b/site-setup.csh
@@ -49,7 +49,7 @@ setenv SPIKE_PATH $RISCV/bin										# Change this for your path to riscv-isa-s
 setenv IDV $RISCV/ImperasDV-OpenHW
 if ($?IDV) then
     # echo "Imperas exists"
-    setenv IMPERAS_HOME $IDV/Imperas
+    setenv IMPERAS_HOME $IDV
     setenv IMPERAS_PERSONALITY CPUMAN_DV_ASYNC
     setenv ROOTDIR ~/
     source ${IMPERAS_HOME}/bin/setup.sh
diff --git a/site-setup.sh b/site-setup.sh
index 8c03a2a36..34fe1eb42 100755
--- a/site-setup.sh
+++ b/site-setup.sh
@@ -66,7 +66,7 @@ export SPIKE_PATH=$RISCV/bin										# Copy this as it is
 export IDV=$RISCV/ImperasDV-OpenHW
 if [ -e "$IDV" ]; then
     # echo "Imperas exists"
-    export IMPERAS_HOME=$IDV/Imperas
+    export IMPERAS_HOME=$IDV
     export IMPERAS_PERSONALITY=CPUMAN_DV_ASYNC
     export ROOTDIR=~/
     source "${IMPERAS_HOME}"/bin/setup.sh