Revision 215df671be6ab6c53dce424ea1cd0cde803d97dd authored by Peter Boyle on 02 February 2022, 02:45:38 UTC, committed by GitHub on 02 February 2022, 02:45:38 UTC
2 parent s 135808d + 1b6b125
Raw File
update_eigen.sh
#!/usr/bin/env bash

if (( $# != 1 )); then
    echo "usage: `basename $0` <archive>" 1>&2
    exit 1
fi
ARC=$1

INITDIR=`pwd`

rm -f Grid/Eigen
rm -rf Eigen

##################
#untar
##################
tar -xf ${ARC}
ARCDIR=`tar -tf ${ARC} | head -n1 | sed -e 's@/.*@@'`

###############################
# Link to a deterministic name
###############################

mv ${ARCDIR} Eigen
ln -s ${INITDIR}/Eigen/Eigen ${INITDIR}/Grid/Eigen
ln -s ${INITDIR}/Eigen/unsupported/Eigen ${INITDIR}/Grid/Eigen/unsupported

# Eigen source headers
cd ${INITDIR}/Grid
echo 'eigen_files =\' > ${INITDIR}/Grid/Eigen.inc
find -L Eigen -type f -print | sed 's/^/  /;$q;s/$/ \\/' >> ${INITDIR}/Grid/Eigen.inc

###################################
# back to home
###################################
cd ${INITDIR}

back to top