From f8024c262bac76fa52041a36d4643d0ee04abcc7 Mon Sep 17 00:00:00 2001 From: paboyle Date: Wed, 10 May 2017 13:30:09 +0100 Subject: [PATCH] Update Eigen --- bootstrap.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bootstrap.sh b/bootstrap.sh index 98972900..66eb63ee 100755 --- a/bootstrap.sh +++ b/bootstrap.sh @@ -1,6 +1,6 @@ ]#!/usr/bin/env bash -EIGEN_URL='http://bitbucket.org/eigen/eigen/get/3.2.9.tar.bz2' +EIGEN_URL='http://bitbucket.org/eigen/eigen/get/3.3.3.tar.bz2' echo "-- deploying Eigen source..." wget ${EIGEN_URL} --no-check-certificate