#!/usr/bin/env bash

EIGEN_SRC='3.3.3.tar.bz2'
EIGEN_URL="http://bitbucket.org/eigen/eigen/get/${EIGEN_SRC}"

if [ -f ${EIGEN_SRC} ]; then
  echo "-- skip deploying Eigen source..."
else
  echo "-- deploying Eigen source..."
  wget ${EIGEN_URL} --no-check-certificate
  ./scripts/update_eigen.sh `basename ${EIGEN_URL}`
  #rm `basename ${EIGEN_URL}`
fi

echo '-- generating Make.inc files...'
./scripts/filelist
echo '-- generating configure script...'
autoreconf -fvi