changeset 5611:58a259784f5e

* src/eigen.mk: update update rule
author John Donoghue <john.donoghue@ieee.org>
date Wed, 23 Dec 2020 13:31:00 -0500
parents e91152c502d9
children 8902479e123b
files src/eigen.mk
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/src/eigen.mk	Wed Dec 23 13:30:59 2020 -0500
+++ b/src/eigen.mk	Wed Dec 23 13:31:00 2020 -0500
@@ -12,8 +12,8 @@
 
 define $(PKG)_UPDATE
     $(WGET) -q -O- 'https://eigen.tuxfamily.org/index.php?title=Main_Page#Download' | \
-    $(GREP) 'eigen/get/' | \
-    $(SED) -n 's,.*eigen/get/\(3[^>]*\)\.tar.*,\1,p' | \
+    $(GREP) 'released!' | \
+    $(SED) -n 's,.*>Eigen \([0-9.]*\) released!.*,\1,p' | \
     head -1
 endef