scripts to install Eigen headers properly

2025-06-22 16:52:02 +01:00 · 2013-09-13 17:06:59 +01:00
parent 67d105663b
commit c4751f20a3
5 changed files with 15 additions and 3 deletions
--- a/bootstrap.sh
+++ b/bootstrap.sh
@ -1,5 +1,7 @@
 #!/usr/bin/env bash

+echo "extracting Eigen headers..."
+./update_eigen.sh eigen-eigen-*.tar.bz2
 rm -rf .buildutils
 mkdir -p .buildutils/m4
 autoreconf -fvi