From 60db3133d38e8e4433627e6351e38cafe210c175 Mon Sep 17 00:00:00 2001
From: Christoph Lehner <christoph@lhnr.de>
Date: Mon, 16 Mar 2020 17:59:56 -0400
Subject: [PATCH] make trace,adj,transpose unary operators

---
 bootstrap.sh | 15 +++++++--------
 1 file changed, 7 insertions(+), 8 deletions(-)

diff --git a/bootstrap.sh b/bootstrap.sh
index 5ea7ce32..4bd3de5e 100755
--- a/bootstrap.sh
+++ b/bootstrap.sh
@@ -1,20 +1,19 @@
 #!/usr/bin/env bash
 set -e
 
-#https://gitlab.com/libeigen/eigen/-/archive/3.3.7/eigen-3.3.7.tar.bz2
-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'
 EIGEN_SHA256SUM='685adf14bd8e9c015b78097c1dc22f2f01343756f196acdc76a678e1ae352e11'
 
 
 echo "-- deploying Eigen source..."
 ARC=`basename ${EIGEN_URL}`
 wget ${EIGEN_URL} --no-check-certificate
-#if command -v sha256sum; then
-#   echo "$EIGEN_SHA256SUM  $(basename "$EIGEN_URL")" \
-#      | sha256sum --check || exit 1
-#else
-#   echo "WARNING: could not verify checksum, please install sha256sum" >&2
-#fi
+if command -v sha256sum; then
+   echo "$EIGEN_SHA256SUM  $(basename "$EIGEN_URL")" \
+      | sha256sum --check || exit 1
+else
+   echo "WARNING: could not verify checksum, please install sha256sum" >&2
+fi
 ./scripts/update_eigen.sh ${ARC}
 rm ${ARC}
 # patch for non-portable includes in Eigen 3.3.5