relative Eigen links, allows moving safely Grid's directory

2025-10-20 16:04:45 +01:00 · 2020-06-04 10:56:34 +01:00
1 changed files with 2 additions and 2 deletions
--- 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