Skip to main content

Browse the archive

Revision 2bc4d0a20ec038786f6544783b368fed3bbfb804 authored by Azusa Yamaguchi on 08 June 2017, 21:21:25 UTC, committed by Azusa Yamaguchi on 08 June 2017, 21:21:25 UTC 
Move code into utils
1 parent f46a67f
Raw File
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
back to top