relative Eigen links, allows moving safely Grid's directory

2025-10-30 03:24:33 +00: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
+cd Grid; ln -s ../Eigen/Eigen Eigen
-ln -s ${INITDIR}/Eigen/unsupported/Eigen ${INITDIR}/Grid/Eigen/unsupported
+cd Eigen; ln -s ../../Eigen/unsupported/Eigen unsupported
 # Eigen source headers
 cd ${INITDIR}/Grid