Revision c1c75660896efd3c79a61cb9d14de922d9cad71f authored by paboyle on 06 May 2017, 14:20:25 UTC, committed by paboyle on 06 May 2017, 14:20:25 UTC
1 parent 2439999
Raw File
bootstrap.sh
]#!/usr/bin/env bash

EIGEN_URL='http://bitbucket.org/eigen/eigen/get/3.2.9.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
back to top