From 29a1530510670ae3641206d5ba92dcf8866e7dc9 Mon Sep 17 00:00:00 2001 From: Fionn O hOgain Date: Wed, 4 Dec 2019 13:49:22 +0000 Subject: [PATCH] Updated Eigen URL after migration to gitlab --- bootstrap.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bootstrap.sh b/bootstrap.sh index 8ebd35ea..49f6b89e 100755 --- a/bootstrap.sh +++ b/bootstrap.sh @@ -1,6 +1,6 @@ #!/usr/bin/env bash -EIGEN_URL='http://bitbucket.org/eigen/eigen/get/3.3.7.tar.bz2' +EIGEN_URL='https://gitlab.com/libeigen/eigen/-/archive/3.3.7/eigen-3.3.7.tar.bz2' echo "-- deploying Eigen source..." ARC=`basename ${EIGEN_URL}`