Eigen happiness

scripts/update_eigen.sh

@@ -7,13 +7,42 @@ fi
 ARC=$1
 
 INITDIR=`pwd`
-rm -rf lib/Eigen
-ARCDIR=`tar -tf ${ARC} | head -n1 | sed -e 's@/.*@@'`
+
+##################
+#untar
+##################
+
 tar -xf ${ARC}
-cd ${ARCDIR}
-(tar -cf - Eigen --exclude='*.txt' 2>/dev/null) | tar -xf - -C ../lib/
-cd ../lib
-echo 'eigen_files =\' > Eigen.inc
-find Eigen -type f -print | sed 's/^/  /;$q;s/$/ \\/' >> Eigen.inc
+ARCDIR=`tar -tf ${ARC} | head -n1 | sed -e 's@/.*@@'`
+rm -f ${ARC}
+
+###############################
+# Link to a deterministic name
+###############################
+
+mv ${ARCDIR}  Eigen
+
+# Eigen source headers
+cd ${INITDIR}/Eigen
+
+echo 'eigen_files =\' > ${INITDIR}/lib/Eigen.inc
+find Eigen -name "*.h" -print | sed 's/^/  /;$q;s/$/ \\/' >> ${INITDIR}/lib/Eigen.inc
+
 cd ${INITDIR}
-rm -rf ${ARCDIR}
+echo 'eigen_unsupp_files =\' >> ${INITDIR}/lib/Eigen.inc
+find  Eigen/unsupported/Eigen -name "*.h" -print | sed 's/^/  /;$q;s/$/ \\/' >> ${INITDIR}/lib/Eigen.inc
+
+
+
+###################################
+# back to home
+###################################
+cd ${INITDIR}
+
+#########################################
+# Make grid includes happy
+#########################################
+mkdir ${INITDIR}/lib/Eigen/
+
+ln -s ${INITDIR}/Eigen/Eigen/* ${INITDIR}/lib/Eigen/
+ln -s ${INITDIR}/Eigen/unsupported ${INITDIR}/lib/Eigen/