Merge pull request openhwgroup#1888 from MarioOpenHWGroup/cva6/dev

CVA6: Adapt install-spike for bash source
MarioOpenHWGroup · May 9, 2023 · 69a6372 · 69a6372
2 parents 64e9e6a + 1300b70
commit 69a6372
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/cva6/regress/install-spike.sh b/cva6/regress/install-spike.sh
@@ -20,6 +20,7 @@ if [ "$SPIKE_ROOT" = "NO" ]; then
   echo "Skipping Spike setup on user's request (\$SPIKE_ROOT = \"NO\")."
 else
   if [ ! -f "$SPIKE_ROOT/bin/spike"  ]; then
+    PDIR=$(readlink -f .)
     echo "Installing Spike"
     PATCH_DIR=$(pwd)/cva6/regress
     mkdir -p $SPIKE_ROOT
@@ -39,6 +40,7 @@ else
     cd build
     ../configure --enable-commitlog --prefix="$SPIKE_ROOT"
     make -j${NUM_JOBS} install
+    cd $PDIR
   else
     echo "Using Spike from cached directory $SPIKE_ROOT."
   fi