Grid/scripts/update_eigen.sh

#!/usr/bin/env bash

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

INITDIR=`pwd`
cd ../lib
echo 'eigen_files =\' > Eigen.inc
find Eigen -type f -print | sed 's/^/  /;$q;s/$/ \\/' >> Eigen.inc
cd ${INITDIR}
first working version for the new build system 2016-07-30 17:53:18 +01:00			`#!/usr/bin/env bash`

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

			INITDIR=`pwd`
			`cd ../lib`
			`echo 'eigen_files =\' > Eigen.inc`
			`find Eigen -type f -print \| sed 's/^/ /;$q;s/$/ \\/' >> Eigen.inc`
			`cd ${INITDIR}`
Eigen develop branch for now 2018-03-20 11:18:56 +00:00