From 86a9cc8c27fc18e7e17039cd5bdfc1947b93ac0d Mon Sep 17 00:00:00 2001
From: Antonin Portelli <antonin.portelli@me.com>
Date: Thu, 4 Jun 2020 10:56:34 +0100
Subject: [PATCH] relative Eigen links, allows moving safely Grid's directory

---
 scripts/update_eigen.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/scripts/update_eigen.sh b/scripts/update_eigen.sh
index ab7b8f90..9572ecae 100755
--- a/scripts/update_eigen.sh
+++ b/scripts/update_eigen.sh
@@ -22,8 +22,8 @@ ARCDIR=`tar -tf ${ARC} | head -n1 | sed -e 's@/.*@@'`
 ###############################
 
 mv ${ARCDIR} Eigen
-ln -s ${INITDIR}/Eigen/Eigen ${INITDIR}/Grid/Eigen
-ln -s ${INITDIR}/Eigen/unsupported/Eigen ${INITDIR}/Grid/Eigen/unsupported
+cd Grid; ln -s ../Eigen/Eigen Eigen
+cd Eigen; ln -s ../../Eigen/unsupported/Eigen unsupported
 
 # Eigen source headers
 cd ${INITDIR}/Grid