From 242c9ff6b70abf0644061590dc34ab4d62174c22 Mon Sep 17 00:00:00 2001
From: Michael Rogenmoser <michael@rogenmoser.us>
Date: Wed, 7 Feb 2024 09:42:42 +0100
Subject: [PATCH] Set up questa version for IIS

---
 env/env.sh | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/env/env.sh b/env/env.sh
index c53e25b0..80caa63b 100644
--- a/env/env.sh
+++ b/env/env.sh
@@ -4,5 +4,19 @@
 
 # set up environment variables for rtl simulation, pulp-runtime and freertos
 ROOTD=$(cd "$(dirname "${BASH_SOURCE[0]:-$0}")/.." && pwd)
+
+# If at IIS, set up appropriate questa version.
+if test -f /etc/iis.version; then
+  export QUESTA=questa-2023.4-zr
+  export VLOG="$QUESTA vlog"
+  export VLIB="$QUESTA vlib"
+  export VMAP="$QUESTA vmap"
+  export VCOM="$QUESTA vcom"
+  export VOPT="$QUESTA vopt"
+  export VSIM="$QUESTA vsim"
+  export QUESTA_HOME=/usr/pack/${QUESTA}/questasim
+  export QUESTASIM_HOME=/usr/pack/${QUESTA}/questasim
+fi
+
 source "$ROOTD/pulp-runtime/configs/pulp_cluster.sh"
 source "$ROOTD/scripts/vsim.sh"