Revision 751fae9f0d64306944dc5f01b055b230a9a083e2 authored by Chulwoo Jung on 10 July 2018, 19:18:12 UTC, committed by Chulwoo Jung on 10 July 2018, 19:18:12 UTC
1 parent 118746b
bootstrap.sh
#!/usr/bin/env bash
EIGEN_URL='http://bitbucket.org/eigen/eigen/get/3.3.3.tar.bz2'
echo "-- deploying Eigen source..."
wget ${EIGEN_URL} --no-check-certificate && ./scripts/update_eigen.sh `basename ${EIGEN_URL}` && rm `basename ${EIGEN_URL}`
echo '-- generating Make.inc files...'
./scripts/filelist
echo '-- generating configure script...'
autoreconf -fvi
Computing file changes ...
