From e900914d3aeff23fd6b4630d79092b6965909c9e Mon Sep 17 00:00:00 2001
From: Ross Thompson <ross1728@gmail.com>
Date: Wed, 18 Jan 2023 15:49:42 -0600
Subject: [PATCH] Modified to clone imperas via git rather than https.

---
 setup.imperas.sh | 18 +++++++++++++++++-
 1 file changed, 17 insertions(+), 1 deletion(-)

diff --git a/setup.imperas.sh b/setup.imperas.sh
index ac774079..9a9f12f9 100644
--- a/setup.imperas.sh
+++ b/setup.imperas.sh
@@ -13,7 +13,7 @@ if [ ! -d external ]; then
 fi
 pushd external
     if [ ! -f ImperasDV-HMC ]; then
-        git clone https://github.com/Imperas/ImperasDV-HMC
+        git clone git@github.com:Imperas/ImperasDV-HMC.git
     fi
     pushd ImperasDV-HMC
         git checkout 0c2f365
@@ -37,3 +37,19 @@ pushd pipelined/regression
         vsim -c -do "do wally-pipelined-imperas-no-idv.do rv64gc"
 popd
 
+# notes
+# run the pushd external  code
+
+#source external/ImperasDV-HMC/Imperas/bin/setup.sh 
+#  setupImperas /home/ross/repos/active-wally/riscv-wally/external/ImperasDV-HMC/Imperas
+#  env | grep IMPERAS
+#  export IMPERAS_PERSONALITY=CPUMAN_DV_ASYNC
+
+IMPERAS_TOOLS=$(pwd)/imperas.ic \
+OTHERFLAGS="+TRACE2LOG_ENABLE=1 VERBOSE=1" \
+TESTDIR=../../tests/riscof_lee/work/riscv-arch-test/rv64i_m/F/src/fadd_b1-01.S  \
+vsim -c -do "do wally-pipelined-imperas.do rv64gc"
+
+
+# getting library issue.
+# try switching to modelsim 2022.01